rokopt

rokopt's Stars

• morphic-lang/morphic

  Pure functional programming with whole-program mutability inference

  Language:Rust35

• thrumdev/nomt

  Language:Rust602

• anoma/anoma-blog

  Language:JavaScript41

• khinsen/leibniz-pharo

  Leibniz - a Digital Scientific Notation

  Language:Smalltalk343

• IntersectMBO/formal-ledger-specifications

  Formal specifications of the cardano ledger

  Language:Agda3213

• joncampbell123/dosbox-x

  DOSBox-X fork of the DOSBox project

  Language:C2.5k372

• yhzhang0128/egos-2000

  Envision a future where every student can read all the code of a teaching operating system.

  Language:C2.2k153

• anoma/typhon

  Formalization of Typhon protocol

  Language:TLA263

• stateright/stateright

  A model checker for implementing distributed systems.

  Language:Rust1.5k55

• ymyzk/ochacaml

  Unofficial fork of OchaCaml

  3

• ngzhian/shift-reset-ochacaml

  Shift and Reset with OchaCaml

  Language:OCaml3

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.6k4.9k

• jzimmerman/langcc

  langcc: A Next-Generation Compiler Compiler

  Language:C++1.7k59

• anoma/geb

  A Categorical View of Computation

  Language:Idris289

• bolt12/advent-of-haskell-dd

  Day 9 of Advent of Haskell - Denotational Design

  973

• BlockstreamResearch/simplicity

  Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.

  Language:C30044

• Robert-van-Engelen/tinylisp

  Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

  Language:C80332

• msakai/cpl

  An interpreter of Hagino's Categorical Programming Language (CPL).

  Language:Haskell1157

• anoma/research

  Early-stage research related to the Anoma protocols.

  Language:Idris233

• anoma/juvix-stdlib

  The Juvix standard library

  Language:Makefile91

• anoma/vamp-ir

  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

  Language:Rust15144

• anoma/namada

  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

  Language:Rust2.4k949

• lanl/quantum_algorithms

  Codes accompanying the paper "Quantum algorithm implementations for beginners"

  Language:Jupyter Notebook23040

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq80414

• typicode/husky

  Git hooks made easy 🐶 woof!

  Language:JavaScript31.9k1k

• precog/matryoshka

  Generalized recursion schemes and traversals for Scala.

  Language:Scala81087

• higherkindness/droste

  recursion schemes for cats; to iterate is human, to recurse, divine

  Language:Scala38751

• grin-compiler/grin

  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

  Language:Haskell1k36

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.3k387

• bennorth/literate-git

  Render hierarchical git repositories into HTML

  Language:Python714