Search: github.com/adamnemecek | Heykuki News

HK

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

6 years ago

1 points

422.

ClojureRS: Implementation of Clojure in Rust

github.com/Tko1

6 years ago

1 points

423.

Andromeda: Proof assistant for general type theories

github.com/Andromedans

6 years ago

1 points

424.

Rustcmb: Library for Statistical Testing of Cosmic Microwave Radiation in Rust

github.com/heyfaraday

7 years ago

1 points

425.

F# RISC-V Instruction Set Formal Specification

github.com/mrLSD

7 years ago

1 points

426.

Swift-Bindgen: Bridging the Gap Between Swift and Rust

github.com/rustswift

7 years ago

1 points

427.

Nanoda: Type checker for the Lean theorem prover in Rust

github.com/ammkrn

7 years ago

1 points

428.

Hecke.jl: Computational algebraic number theory

github.com/thofma

7 years ago

1 points

429.

Silicon: Create beautiful image of your code (in Rust)

github.com/Aloxaf

7 years ago

1 points

430.

MiniJulia: Toy implementation of the Julia programming language (2016)

github.com/zhmz90

7 years ago

1 points

431.

Geophysicalflows.jl: Geophysical fluid dynamics pseudospectral solvers in Julia

github.com/FourierFlows

7 years ago

1 points

432.

Kronecker.jl: General-purpose toolbox for efficient Kronecker-based algebra

github.com/MichielStock

7 years ago

1 points

433.

Omeinsum.jl: Einsum for Julia Runtime Order-Specification and Adjoints for Ad

github.com/under-Peter

7 years ago

1 points

434.

Shadergraph: Functional GLSL Linker

github.com/unconed

7 years ago

1 points

435.

Zola: Fast static site generator with everything built-in Rust

github.com/getzola

7 years ago

1 points

436.

MIT Photonic-Bands: computation of photonic band structures in periodic media

github.com/NanoComp

7 years ago

1 points

437.

Sum: Specialized database server for linear algebra and machine learning

github.com/evilsocket

7 years ago

1 points

438.

Sloth: 3D software rasterizer for the terminal written in Rust

github.com/ecumene-software

7 years ago

1 points

439.

Ppcp: Cp with progress bars written in Rust

github.com/acidnik

7 years ago

1 points

440.

Wafer: Parallelized 3D FDTD Schrödinger Equation Solver in Rust

github.com/Libbum

7 years ago

1 points

441.

3D machine learning: resource repository for 3D machine learning

github.com/timzhang642

8 years ago

1 points

442.

Saltie: Rocket League Distributed Deep Reinforcement Learning Bot

github.com/SaltieRL

8 years ago

1 points

443.

SwiftRewriter: tool to convert Objective-C to Swift

github.com/LuizZak

8 years ago

1 points

444.

Klog: Simple GNU/Linux and FreeBSD Keylogger

github.com/pticon

8 years ago

1 points

445.

HelenOS: Portable microkernel-based multiserver OS

github.com/HelenOS

8 years ago

1 points

446.

Intro to Quaternion Rotations (with Unity 2017)

github.com/hardlydifficult

8 years ago

1 points

447.

Euclider: Non-Euclidean raytracing prototype

github.com/Limeth

8 years ago

1 points

448.

Compile Idris to Vimscript, like you always wanted

github.com/owickstrom

9 years ago

1 points

449.

Node.js Based Objective-C to Swift Converter

github.com/okaxaki

9 years ago

1 points

450.

Ganja.js: Geometric Algebra for JavaScript

github.com/enkimute

9 years ago

1 points