squidarth / ChessAI

Related projects: ⓘ

• RichardKnop / ansi-c-perceptron
  ANSI C implementation of Perceptron (simplest neural network)
  ☆29Updated 7 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 5 years ago
• delcypher / fosdem-2012-implementing-domain-specific-languages-with-llvm
  A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012
  ☆16Updated 11 years ago
• parrt / cs345
  CS345 Programming Languages at University of San Francisco
  ☆19Updated 8 years ago
• Rizer / libdeep
  A deep learning library for C/C++
  ☆11Updated 11 years ago
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆20Updated 14 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆119Updated 7 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆122Updated 5 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆111Updated 7 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 5 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 2 years ago
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆29Updated 2 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆17Updated 3 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆18Updated 3 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• araya-andres / classic_computer_sci
  ☆32Updated 4 months ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆9Updated 5 years ago
• nikAizuddin / study_x86asm_linux
  Collection of my studies in x86 Assembler Programming for Linux.
  ☆10Updated 9 years ago
• llvm-mirror / klee
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆17Updated 7 years ago
• skeeto / Scheme-Neural-Network
  ☆10Updated this week
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 10 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆15Updated 7 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆70Updated 8 years ago
• avikalpg / POPL
  This is a repository for assignments of the course Principles of Programming Languages
  ☆44Updated 8 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 8 years ago
• lemire / costofsafety
  Quick experiment to see how expensive safety is in C, for research
  ☆11Updated 5 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆72Updated 8 years ago