brownplt / code.pyret.org

Related projects ⓘ

Alternatives and complementary repositories for code.pyret.org

• brownplt / pyret-docs
  The documentation for Pyret.
  ☆9Updated 4 months ago
• nuprl / gradual-typing-performance
  ☆10Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• florence / diagrama
  A diagram drawing library for Racket
  ☆18Updated 3 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• coq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆41Updated 4 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆68Updated 11 months ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated 2 years ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆15Updated last year
• jkoppel / ecta
  ☆33Updated 7 months ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆54Updated last month
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆34Updated 4 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 10 months ago
• stchang / mlish
  ☆21Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆72Updated 3 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆53Updated 6 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• camoy / corpse-reviver
  Sound and efficient gradual typing via contract verification.
  ☆20Updated last year
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆59Updated last week
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 5 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year