kuba-- / ut

Related projects ⓘ

Alternatives and complementary repositories for ut

• DangerOnTheRanger / schego
  An R7RS implementation of Scheme written in Go
  ☆13Updated 6 years ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 3 years ago
• zac-garby / radon
  A programming language.
  ☆22Updated 3 years ago
• kzh / lyca
  programming language compiler w/ llvm
  ☆13Updated 7 years ago
• AZHenley / goforth
  An interpreter for a small dialect of Forth written in Go.
  ☆18Updated 5 years ago
• MovingtoMars / nnvm
  An LLVM-clone in Golang
  ☆10Updated 8 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆38Updated last year
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆60Updated 6 years ago
• geode-lang / geode
  The Geode Programming Language
  ☆16Updated 4 years ago
• xyproto / jit
  Go module and utility for executing machine code
  ☆23Updated 7 months ago
• palmskog / fitch
  Certified proof checker for Fitch-style propositional logic proofs
  ☆7Updated last year
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated last week
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 4 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆18Updated 5 months ago
• pwaller / go2ll
  Extremely experimental toy go compiler
  ☆19Updated 4 years ago
• MrHootJones / futspace
  Futspace is a voxel based graphics engine implemented in Futhark
  ☆8Updated 4 years ago
• rwos / newsqueak
  squint - Rob Pike's Newsqueak interpreter for Unix
  ☆35Updated 12 years ago
• dgryski / peachpy-examples
  ☆15Updated 7 years ago
• wdamron / x64
  x86-64 instruction encoder in Go
  ☆21Updated 5 years ago
• SOM-st / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆14Updated 3 months ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆33Updated 8 years ago
• andersfr / zig-lalr
  LALR parser generator written in native zig
  ☆8Updated 5 years ago
• ThePaw / go-gt
  Automatically exported from code.google.com/p/go-gt
  ☆11Updated 9 years ago
• HackerFoo / startle
  Startle C Library
  ☆18Updated 5 years ago
• andrewchambers / crushstore
  A horizontally scaling object store based on the CRUSH placement algorithm.
  ☆11Updated 2 years ago
• pSpaces / goSpace
  Programming with Spaces in Go
  ☆11Updated 6 years ago
• amzuko / gotalog
  Golang implementation of datalog, port of MITRE corporation's lua implementation
  ☆22Updated 4 years ago
• fegaras / DIQL
  DIQL: Data Intensive Query Language
  ☆12Updated 3 years ago
• andrewchambers / hafs
  A high availability distributed filesystem built on FoundationDB and fuse.
  ☆15Updated last year
• fengb / zig-protobuf
  ☆12Updated 5 years ago