NeM-T

NeM-T's Stars

• LunarVim/LunarVim

  🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

  Language:Lua18.5k1222.4k1.5k

• wbthomason/packer.nvim

  A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config

  Language:Lua7.9k30742264

• nvim-tree/nvim-tree.lua

  A file explorer tree for neovim written in lua

  Language:Lua7.4k261.6k611

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.9k2088.9k1.1k

• synercys/annotated_latex_equations

  Examples of how to create colorful, annotated equations in Latex using Tikz.

  Language:TeX3.8k383217

• terralang/terra

  Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

  Language:C++2.8k94400206

• shirok/Gauche

  Scheme Scripting Engine

  Language:Scheme8247444782

• ocaml-multicore/ocaml-multicore

  Multicore OCaml

  Language:OCaml7625731968

• ocaml-multicore/ocaml-effects-tutorial

  Concurrent Programming with Effect Handlers

  Language:OCaml66723737

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean52633428

• typedclojure/typedclojure

  An optional type system for Clojure

  Language:Clojure4948167

• frank-lang/frank

  Frank compiler

  Language:Haskell28124410

• jwiegley/coq-haskell

  A library for formalizing Haskell types and functions in Coq

  Language:Coq16812310

• namin/dot

  formalization of the Dependent Object Types (DOT) calculus

  15517012

• CertiCoq/certicoq

  A Verified Compiler for Gallina, Written in Gallina

  Language:Coq139151526

• HoTT-Intro/Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  Language:Agda1241104

• jozefg/pcf

  A small compiler for PCF

  Language:Haskell123519

• jozefg/nbe-for-mltt

  Normalization by Evaluation for Martin-Löf Type Theory

  Language:OCaml1221315

• pigworker/MetaprogAgda

  being the materials for Summer 2013's course

  11220018

• camlspotter/ocaml-zippy-tutorial-in-japanese

  OCaml の日本語での情報

  Language:OCaml941402

• brendanzab/rust-nbe-for-mltt

  Normalization by evaluation for Martin-Löf Type Theory with dependent records

  Language:Rust931206

• mmcqd/pure

  A pure type system implemented in OCaml

  Language:OCaml77131

• tweag/linear-types

  Drafts, notes and resources for adding linear typing to GHC.

  Language:TeX758555

• jsiek/gradual-typing-in-agda

  Formalizations of Gradually Typed Languages in Agda

  Language:TeX57803

• AndyShiue/pts

  implementation of Pure Type Systems (PTS) in Rust.

  Language:Rust51622

• Mtac2/Mtac2

  Language:Coq51616625

• takanuva/cps

  A formalization of continuation-passing style calculi in Coq [WIP]

  Language:Coq36100

• reynir/Brainfuck

  Brainfuck formalized in Coq

  Language:Coq26502

• coq-community/apery

  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]

  Language:Coq19967

• na0214/linear-lambda-calculus

  An implementation of Linear Lambda Calculus.

  Language:OCaml14002