sanderland / katrain-bots

Related projects ⓘ

Alternatives and complementary repositories for katrain-bots

• y-ich / KataGo
  GTP engine and self-play learning in Go
  ☆16Updated 9 months ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 4 years ago
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 4 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• coquelicot / PyDSL
  A runtime DSL parser generator for python.
  ☆18Updated 8 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated 10 months ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 3 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 9 months ago
• ktok07b6 / tiger
  tiger compiler
  ☆10Updated 6 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆21Updated 5 years ago
• thautwarm / goto.py
  modern implementation of real goto/label statements in python 3.5+.
  ☆12Updated 3 years ago
• martingkelly / pyecm
  Pyecm factors large integers (up to 50 digits) using the Elliptic Curve Method (ECM), a fast factoring algorithm.
  ☆21Updated 2 years ago
• liyanrui / ConTeXt-notes
  ConTeXt（>= MkIV）学习笔记
  ☆23Updated last year
• TennyZhuang / HaScheme
  HaScheme is a Scheme interpreter written by Haskell.
  ☆11Updated 7 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 8 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆20Updated 6 years ago
• graninas / Haskell-Algorithms
  Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
  ☆17Updated 5 years ago
• BYVoid / libdarts
  C Library of Double-Array Trie System
  ☆16Updated 11 years ago
• sdingcn / clocalc
  an interpreted functional programming language
  ☆13Updated this week
• pointsgame / oppai-rs
  OPen Points Artificial Intelligence
  ☆12Updated last month
• albertz / PyLua
  interpret Lua (the C source code) in pure Python with PyCParser
  ☆14Updated 13 years ago
• stoklund / portable-simd
  Portable SIMD specification
  ☆19Updated 7 years ago
• chinanf-boy / rust-ffi-omnibus
  🇨🇳翻译: 「rust-ffi-omnibus」 将 Rust 代码 导出, 应用于 其他语言 的例子集合 ❤️更新 ✅
  ☆12Updated 5 years ago
• ShisoftResearch / Morpheus
  General Purpose Graph Engine
  ☆10Updated last year