Giters
emeinhardt

emeinhardt

Geek Repo

7

followers

47

following

291

stars

Github PK Tool:Github PK Tool

emeinhardt's starred repositories

kgt

BNF wrangling and railroad diagrams

Language:CLicense:BSD-2-ClauseStargazers:584Issues:0Issues:0

what-happens-when

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

Stargazers:39398Issues:0Issues:0

Lean-Seminar-Sp2022

Storing all of the content from the Learning Lean Seminar from Spring 2022

Language:LeanStargazers:2Issues:0Issues:0

athame

Full vim for your shell (bash, zsh, gdb, python, etc)

Language:CLicense:GPL-3.0Stargazers:1621Issues:0Issues:0

snowflake

A repository which contains my current Nix (flake-based) setup!

Language:NixLicense:AGPL-3.0Stargazers:173Issues:0Issues:0

mltt

Implementation of Martin-Löf Type Theory in Haskell

Language:HaskellStargazers:16Issues:0Issues:0

stuff-in-agda

Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.

Language:AgdaLicense:MITStargazers:8Issues:0Issues:0

agda-from-nothing

A workshop on learning Agda with minimal prerequisites.

Language:AgdaStargazers:81Issues:0Issues:0

vitamin

The Vitamin programming language

Language:NimLicense:MITStargazers:23Issues:0Issues:0

transducers

Analyze finite-state transducers

Language:HaskellLicense:MITStargazers:2Issues:0Issues:0

SBFST

A library of functions related to sub-regular languages.

Language:JavaStargazers:2Issues:0Issues:0

tree-automata

working with tree acceptors as visualizable graphs

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10231Issues:0Issues:0

Formality-Core

Specification of the Formality proof and programming language

Language:JavaScriptLicense:MITStargazers:39Issues:0Issues:0

Caramel

A modern syntax for the λ-calculus.

Language:HaskellLicense:MITStargazers:410Issues:0Issues:0

decktape

PDF exporter for HTML presentations

Language:JavaScriptLicense:MITStargazers:2153Issues:0Issues:0

Kind1

A next-gen functional language

Language:RustLicense:MITStargazers:3520Issues:0Issues:0

dhall-python

Up-to-date and maintained python bindings for dhall, a functional configuration language

Language:RustLicense:Apache-2.0Stargazers:43Issues:0Issues:0

vh-fst

FST to process strings and determine vowel-harmony pattens in languages

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

nix-diff

Explain why two Nix derivations differ

Language:HaskellLicense:BSD-3-ClauseStargazers:326Issues:0Issues:0

grace

A ready-to-fork interpreted functional language with type inference

Language:JavaScriptLicense:BSD-3-ClauseStargazers:381Issues:0Issues:0

ur_learning

Algorithms for induction of phonological grammars and sets of underlying forms from morphophonological paradigms. (In progress.)

Language:PythonLicense:GPL-3.0Stargazers:4Issues:0Issues:0

mingen

Minimal Generalization rule learner

Language:TeXStargazers:2Issues:0Issues:0

annotated_latex_equations

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

Language:TeXLicense:MITStargazers:3720Issues:0Issues:0

regex

Regular expressions and finite state automata in Agda

Language:AgdaStargazers:1Issues:0Issues:0

logicthroughpython

Mathematical Logic through Python

Language:PythonStargazers:2Issues:0Issues:0

vcsn

Language:C++License:GPL-3.0Stargazers:5Issues:0Issues:0

scala-cli

Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

Language:ScalaLicense:Apache-2.0Stargazers:525Issues:0Issues:0

shajra-keyboards

Nix build/flash tool for a Keyboardio Model 100/01 or ZSA Technology Labs Ergodox EZ or Moonlander keyboard

Language:C++License:GPL-3.0Stargazers:33Issues:0Issues:0

nix-template

Make creating nix expressions easy

Language:RustLicense:CC0-1.0Stargazers:205Issues:0Issues:0