tiansiyuan / SQA

Related projects ⓘ

Alternatives and complementary repositories for SQA

• bugarela / tla-transmutation
  Elixir code and test generation from TLA+ specifications
  ☆71Updated last year
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• protz / ocaml-installer
  The official windows installer (built using NSIS) for OCaml
  ☆66Updated 6 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆101Updated 8 years ago
• samth / gradual-typing-bib
  A bibliography on Gradual Typing
  ☆248Updated 10 months ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆48Updated last year
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 14 years ago
• dannywillems / ocaml-for-web-programming
  OCaml for web programming
  ☆52Updated 8 years ago
• realworldocaml / scripts
  Command-line utilities for Real World OCaml
  ☆16Updated 6 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆64Updated last year
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆129Updated 6 years ago
• ocaml-cross / opam-cross-android
  An OCaml cross-toolchain for Android and several useful libraries
  ☆105Updated 2 years ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 3 years ago
• ocamllabs / compiler-hacking
  Wiki for compiler hacking sessions
  ☆91Updated 6 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆161Updated 6 years ago
• linkyndy / expert-systems
  A basic expert system, written in Prolog, that suggests what programming language one should learn first.
  ☆44Updated 8 years ago
• cryptosense / ocamllint
  Detect common errors in OCaml code
  ☆68Updated 6 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆122Updated 10 years ago
• bishboria / learnyouahaskell
  Code from Learn You A Haskell book: http://learnyouahaskell.com/
  ☆17Updated 12 years ago
• fdopen / opam-repository-mingw
  windows package repository for OPAM (mingw and msvc)
  ☆96Updated last year
• exercism / prolog
  Exercism exercises in Prolog.
  ☆29Updated last week
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• ocamllabs / 2048-tutorial
  OCaml tutorial based on the 2048 game
  ☆49Updated 8 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆95Updated 3 months ago
• racket / htdp
  ☆93Updated this week
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆164Updated 4 months ago
• rgrinberg / humane-re
  The human friendly interface to ocaml-re
  ☆25Updated 5 years ago