dkeehl

dkeehl's Stars

• zadam/trilium

  Build your personal knowledge base with Trilium Notes

  Language:JavaScript26.9k1.9k

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX3188

• Maruno17/pokemon-essentials

  A heavily modified RPG Maker XP game project that makes the game play like a Pokémon game. Not a full project in itself; this repo is to be added into an existing RMXP game project.

  Language:Ruby204396

• bytedance/GiantMIDI-Piano

  Language:Python1.7k176

• rhysd/gocaml

  :camel: Statically typed functional programming language implementation with Go and LLVM

  Language:Go74729

• AnyDSL/thorin

  The Higher-Order Intermediate Representation

  Language:C++15015

• IntelLabs/flrc

  Haskell Research Compiler

  Language:Standard ML81637

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k375

• epsil/gll

  General Parser Combinators in Racket

  Language:HTML19612

• skywind3000/ECDICT-ultimate

  Ultimate ECDICT Database

  21933

• HackerPoet/NonEuclidean

  A Non-Euclidean Rendering Engine for 3D scenes.

  Language:C++6.1k578

• TiarkRompf/minidot

  Dependent Object Types (DOT), bottom up

  Language:Coq8311

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris90258

• UniMath/SymmetryBook

  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

  Language:HTML37822

• nesdir/nesdir

  NES Directory sources

  Language:XSLT111

• discus-lang/iron

  Coq formalizations of functional languages.

  Language:Coq14110

• googlehosts/hosts

  镜像：https://scaffrey.coding.net/p/hosts/git / https://git.qvq.network/googlehosts/hosts

  20.8k10.2k

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell55790

• ruby-china/homeland

  :circus_tent: An open source forum/community system based on Rails, developed based on Ruby China.

  Language:Ruby3.8k1.2k

• wh5a/Algorithm-W-Step-By-Step

  Classic Algorithm W for type inference.

  Language:Haskell24920

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k644

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript293k38.8k

• public-apis/public-apis

  A collective list of free APIs

  Language:Python313k33.5k

• kunishi/algebra-ruby2

  Algebraic library ported for Ruby2

  Language:Ruby61

• larsch/ocra

  One-Click Ruby Application Builder

  Language:Ruby83283

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq954174

• jwasham/coding-interview-university

  A complete computer science study plan to become a software engineer.

  305k76.6k

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k117

• bayandin/awesome-awesomeness

  A curated list of awesome awesomeness

  Language:Ruby31.7k3.5k

• emilefyon/Excel-VBA-Productivity-Libraries

  A set of libraries in order to increase your productivity using Excel and VBA

  Language:Visual Basic22559