Search: github.com/adamnemecek | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Stretch: Fast flexbox implementation in Rust (JS/Kotlin/Swift bindings) (github.com/vislyhq)

1 point

6 years ago

422.

ClojureRS: Implementation of Clojure in Rust (github.com/Tko1)

1 point

6 years ago

423.

Andromeda: Proof assistant for general type theories (github.com/Andromedans)

1 point

6 years ago

424.

Rustcmb: Library for Statistical Testing of Cosmic Microwave Radiation in Rust (github.com/heyfaraday)

1 point

7 years ago

425.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

1 point

7 years ago

426.

Swift-Bindgen: Bridging the Gap Between Swift and Rust (github.com/rustswift)

1 point

7 years ago

427.

Nanoda: Type checker for the Lean theorem prover in Rust (github.com/ammkrn)

1 point

7 years ago

428.

Hecke.jl: Computational algebraic number theory (github.com/thofma)

1 point

7 years ago

429.

Silicon: Create beautiful image of your code (in Rust) (github.com/Aloxaf)

1 point

7 years ago

430.

MiniJulia: Toy implementation of the Julia programming language (2016) (github.com/zhmz90)

1 point

7 years ago

431.

Geophysicalflows.jl: Geophysical fluid dynamics pseudospectral solvers in Julia (github.com/FourierFlows)

1 point

7 years ago

432.

Kronecker.jl: General-purpose toolbox for efficient Kronecker-based algebra (github.com/MichielStock)

1 point

7 years ago

433.

Omeinsum.jl: Einsum for Julia Runtime Order-Specification and Adjoints for Ad (github.com/under-Peter)

1 point

7 years ago

434.

Shadergraph: Functional GLSL Linker (github.com/unconed)

1 point

7 years ago

435.

Zola: Fast static site generator with everything built-in Rust (github.com/getzola)

1 point

7 years ago

436.

MIT Photonic-Bands: computation of photonic band structures in periodic media (github.com/NanoComp)

1 point

7 years ago

437.

Sum: Specialized database server for linear algebra and machine learning (github.com/evilsocket)

1 point

7 years ago

438.

Sloth: 3D software rasterizer for the terminal written in Rust (github.com/ecumene-software)

1 point

7 years ago

439.

Ppcp: Cp with progress bars written in Rust (github.com/acidnik)

1 point

7 years ago

440.

Wafer: Parallelized 3D FDTD Schrödinger Equation Solver in Rust (github.com/Libbum)

1 point

7 years ago

441.

3D machine learning: resource repository for 3D machine learning (github.com/timzhang642)

1 point

8 years ago

442.

Saltie: Rocket League Distributed Deep Reinforcement Learning Bot (github.com/SaltieRL)

1 point

8 years ago

443.

SwiftRewriter: tool to convert Objective-C to Swift (github.com/LuizZak)

1 point

8 years ago

444.

Klog: Simple GNU/Linux and FreeBSD Keylogger (github.com/pticon)

1 point

8 years ago

445.

HelenOS: Portable microkernel-based multiserver OS (github.com/HelenOS)

1 point

8 years ago

446.

Intro to Quaternion Rotations (with Unity 2017) (github.com/hardlydifficult)

1 point

8 years ago

447.

Euclider: Non-Euclidean raytracing prototype (github.com/Limeth)

1 point

8 years ago

448.

Compile Idris to Vimscript, like you always wanted (github.com/owickstrom)

1 point

9 years ago

449.

Node.js Based Objective-C to Swift Converter (github.com/okaxaki)

1 point

9 years ago

450.

Ganja.js: Geometric Algebra for JavaScript (github.com/enkimute)

1 point

9 years ago