Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for rust ocaml
ocaml
x
rust
x
46 search results found
Awesomo
⭐
9,084
Cool open source projects. Choose your project and get involved in Open Source development now.
Extism
⭐
3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Comby
⭐
1,996
A code rewrite tool for structural search and replace that supports ~every language.
Nodebook
⭐
1,490
Nodebook - Multi-Lang Web REPL + CLI Code runner
Best Practices Checklist
⭐
909
A list of awesome idiomatic code resources. Rust🦀, Go, Ruby💎, Pony 🐴, Ocaml 🐫, Erlang and more
Ocaml Rs
⭐
220
OCaml extensions in Rust
Coq2rust
⭐
187
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Oxide
⭐
99
The essence of Rust.
Aeneas
⭐
82
A verification toolchain for Rust programs
Polyglot Euler
⭐
69
📜 Project Euler solutions in various programming languages
Raml
⭐
68
OCaml runtime and FFI bindings directly in Rust
Rust Ocaml Derive
⭐
48
Isla
⭐
46
Symbolic execution tool for Sail ISA specifications
Hax
⭐
46
A Rust verification tool
Fizzboom
⭐
46
Benchmark to compare async web server + interpreter + web client implementations across various languages
Teaching Fp
⭐
45
Techniques, advice, and anecdotes about how to teach Functional Programming
Fluid
⭐
37
🐙 Code-generated, Auto-versioned, & Smart Web APIs
Cs Resources
⭐
36
Curated Computer Science and Programming Resource Guide
Pragma
⭐
33
Pragma is a self-hosted, open-source, personal note taking app.
Starlight
⭐
31
[WIP] Yet another Erlang implementation in Rust
Brick
⭐
27
The Brick language spec
Nearest_neighbour
⭐
27
Golang implementation of k-NN algorithm (for k = 1)
Cdetect
⭐
26
🔬 Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
Memthol
⭐
25
Memthol is a visualizer for memory profiling data generated from OCaml programs.
Ocaml Rust Starter
⭐
23
Getting started with ocaml-rs
Futhark Bindgen
⭐
21
A Futhark binding generator for Rust and OCaml
Now Static Bin
⭐
21
Run arbitrary executables in Now 2.0 Lambdas
Ainur
⭐
20
🌌 Detect compiler names and versions from ELF files
Awesome Advent Of Code
⭐
19
Asmdot
⭐
16
[Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Python | Rust).
Rustnotes
⭐
16
Mifkad
⭐
11
Attendance tracking webapp - ReasonML frontend/Rust backend - work task automation
Native Interop
⭐
10
Native Interoperability (Experimental)
Yarra Valley
⭐
10
Your new favorite dark theme for Visual Studio Code
Ocaml Gen
⭐
9
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
Experiments
⭐
9
Just toys
Ss
⭐
9
SimpleScript, A Simpler Programming Language (WIP)
Knn
⭐
9
Java 7/8 implementations of K nearest neightbour (actually 1-nn)
Hc Zenburn Vscode
⭐
8
🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code
Hashset_benchs
⭐
8
Reproducing https://www.reddit.com/r/rust/comments/4dd5yl/rust
Web Ocaml Rust Tuto
⭐
7
List of tutorials/projects experiencing OCaml and Rust mixed code running together in the browser.
Rust Ocaml Workshop
⭐
6
A companion repository for use with my Rust Belt Rust '16 workshop - Hey! There's OCaml in My Rust!
Sublimecodeintel
⭐
6
💡 SublimeCodeIntel LSP
Advent
⭐
6
Advent of Code—now with even more languages!
Usbmux
⭐
5
A client library to communicate with usbmuxd (USB multiplexer daemon) (WIP)
Borealis
⭐
5
ISA simulation and development toolchain
99 Problems Rust
⭐
5
Use rust to resolve 99 problems
Related Searches
Command Line Rust (3,187)
Rust R (1,912)
Javascript Rust (1,421)
Video Game Rust (1,177)
Rust Bindings (1,155)
Typescript Rust (1,111)
Rust Language (1,068)
Python Rust (966)
Rust Blockchain (938)
C Plus Plus Rust (885)
1-46 of 46 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.