spindiggewr

spindiggewr's Stars

• johnyob/dromedary

  Dromedary is an experimental subset of OCaml, using constraint-based type inference!

  Language:OCaml452

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell57331

• d-plaindoux/alda

  Intuitive and simple to use OCaml parsec

  Language:OCaml4

• xvw/mini_yocaml

  A dead simple implementation of a subset of YOCaml for teaching purpose

  Language:OCaml8

• IUCompilerCourse/Essentials-of-Compilation

  A book about compiling Racket and Python to x86-64 assembly

  Language:TeX1.2k135

• ligolang/detect-installer

  Language:JavaScript2

• d4hines/miniml

  Experiments in small programming languages for learning.

  Language:OCaml4

• plfa/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1.3k300

• hakavlad/nohang

  A sophisticated low memory handler for Linux

  Language:Python1k48

• jeanqasaur/pltalk

  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

  2123

• renatoalencar/rinha-de-compiler

  🥖 | Rinha de compiladores (ou interpretadores kkkk

  Language:Rust2

• riot-ml/riot

  An actor-model multi-core scheduler for OCaml 5 🐫

  Language:OCaml50232

• trilitech/jstz

  JavaScript server runtime for Tezos Smart Rollups

  Language:Rust175

• antirez/smallchat

  A minimal programming example for a chat server

  Language:C7.1k790

• art-w/babiseat

  add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs

  Language:OCaml16

• pigworker/CS410-17

  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

  Language:Agda26227

• phenax/creative-coding-playground

  Making cool looking things for fun

  Language:GLSL51

• microsoft/generative-ai-for-beginners

  18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

  Language:Jupyter Notebook50.9k27.3k

• microsoft/ML-For-Beginners

  12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

  Language:HTML68k13.9k

• Sixstring982/tanenbaum

  OCaml Advent of Code starter project

  Language:OCaml5913

• norswap/prolog-dry

  A terse Prolog course

  Language:Prolog352

• phenax/ts-theorem-provinator

  Experiment to use typescript's type system for theorem proving

  Language:TypeScript4

• imteekay/programming-language-research

  ✨ Programming Language Research, Applied PLT & Compilers

  Language:Clojure85551

• esumii/min-caml

  moved from https://sourceforge.net/p/min-caml/code/

  Language:OCaml475115

• siraben/mini-haskell

  A self-hosting mini Haskell compiler with a mini C runtime.

  Language:Haskell705

• rizo/optimist

  Everything is going to be Ok.

  Language:OCaml7

• RWTH-OS/eduOS-rs

  A teaching operating system written in Rust

  Language:Rust40029

• Mati365/ts-c-compiler

  ⚙️ Multipass C Compiler, Assembler and X86 emulator written in TypeScript

  Language:TypeScript32518

• bcpierce00/unison

  Unison file synchronizer

  Language:OCaml3.9k224

• robur-coop/mollymawk

  A web interface for albatross

  Language:OCaml152