Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ocaml fsharp
fsharp
x
ocaml
x
12 search results found
Fstar
⭐
2,522
A Proof-oriented Programming Language
Nodebook
⭐
1,490
Nodebook - Multi-Lang Web REPL + CLI Code runner
Tablecloth
⭐
503
A standard library with the same API in F#, Rescript and OCaml
Mitls Fstar
⭐
169
Verified implementation of TLS 1.3 in F*
Fsharp Logic Examples
⭐
126
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
Polyglot Euler
⭐
69
📜 Project Euler solutions in various programming languages
Eff
⭐
63
A library for programming with Algebraic Effects in F#
Ocaml Lens
⭐
59
Private extraction of astrada's lens library
Incremental.net
⭐
59
A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
Fsharp Tapl
⭐
48
Accompanying code for "Types and Programming Languages", ported to F#
Fizzboom
⭐
46
Benchmark to compare async web server + interpreter + web client implementations across various languages
Score4
⭐
44
AI: Implementing Score4 (Connect four) in functional and imperative languages
Fluid
⭐
37
🐙 Code-generated, Auto-versioned, & Smart Web APIs
Fsharp.compatibility
⭐
36
Compatibility libraries for F#
Nearest_neighbour
⭐
27
Golang implementation of k-NN algorithm (for k = 1)
Otp
⭐
23
F#-style Type Providers in OCaml
Codingame
⭐
20
Personal CodinGame solutions
Fsharpcheatsheet
⭐
19
Reference sheet of the basics of F# ^_^
Scalapipes
⭐
17
Scala with forward pipe operator, as in F# and OCaml.
Ocamlcsvprovider
⭐
16
F# CSV type provider ported to OCaml
Merydef
⭐
13
Keyword highlighting definition for Mery
A2fp
⭐
11
Ann Arbor Functional Programming User Group
Native Interop
⭐
10
Native Interoperability (Experimental)
Functional Cryptocurrencies
⭐
10
List of cryptocurrencies and smart contracts using functional programming languages
Classifydigits
⭐
9
A fairly simple KNN digit classification algorithm implemented in multiple languages (C++,F#,OCaml)
Ss
⭐
9
SimpleScript, A Simpler Programming Language (WIP)
Coq Fsharp
⭐
9
Libraries and tools for extracting Coq code to F#
Programmingchallenges
⭐
9
List of Platforms
Hashset_benchs
⭐
8
Reproducing https://www.reddit.com/r/rust/comments/4dd5yl/rust
Refinements Popl 16
⭐
7
Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.
Think Fsharp
⭐
6
How to Think Like an F# Programmer
Niz
⭐
6
Z-machine interpreter
Related Searches
C Sharp Fsharp (478)
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
Javascript Ocaml (181)
Reactjs Ocaml (168)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.