tkburns

tkburns's Stars

• trimstray/the-book-of-secret-knowledge

  A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

  149k2.5k09.6k

• type-challenges/type-challenges

  Collection of TypeScript type challenges with online judge

  Language:TypeScript43.4k15934.2k4.7k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.4k93258427

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k99190400

• witheve/Eve

  Better tools for thought

  Language:TypeScript7.2k193559257

• carp-lang/Carp

  A statically typed lisp, without a GC, for real-time applications.

  Language:Haskell5.5k111509178

• ohmjs/ohm

  A library and language for building parsers, interpreters, compilers, etc.

  Language:JavaScript5k88236217

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.5k1122.6k313

• JSMonk/hegel

  An advanced static type checker

  Language:JavaScript2.1k3721859

• LuxLang/lux

  The Lux Programming Language

  Language:Emacs Lisp1.7k683550

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k511880

• alshdavid/BorrowScript

  TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.

  Language:HTML1.4k324616

• vrtbl/passerine

  A small extensible programming language designed for concise expression with little code.

  Language:Rust1.1k254038

• VictorTaelin/Interaction-Calculus

  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Language:Rust76640855

• prathyvsh/pl-catalog

  A catalog of programming languages

  76424923

• ChessMax/awesome-programming-languages

  The list of awesome programming languages that you might be interested in.

  Language:Markdown6391718348

• effekt-lang/effekt

  A language with lexical effect handlers and lightweight effect polymorphism

  Language:Scala3321128924

• inpla/inpla

  Inpla: Interaction nets as a programming language (the current version)

  Language:Yacc2771218

• Mesabloo/diagnose

  A simple library for reporting compiler/interpreter errors

  Language:Haskell25831419

• ironmansoftware/psedit

  A terminal-based editor for PowerShell

  Language:C#25783618

• caotic123/PomPom-Language

  The cuteness implementation of a dependently typed language.

  Language:Haskell188406

• effect-handlers/effects-rosetta-stone

  A comparison of how computational effects and handlers are implemented in various programming languages.

  Language:Shell1322209

• cicada-lang/inet-cute

  An implementation of interaction nets in JS.

  Language:TypeScript130113

• yona-lang/yona

  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax, strict evaluation, for GraalVM polyglot virtual machine (VM).

  Language:Java1258686

• wessberg/ts-evaluator

  An interpreter for Typescript that can evaluate an arbitrary Node within a Typescript AST

  Language:TypeScript894131

• cdiggins/plato

  A simple and efficient cross-platform programming language.

  Language:C#79834

• Ahnfelt/firefly-boot

  Bootstrap compiler for Firefly

  Language:JavaScript51510

• hkust-taco/mlstruct

  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

  Language:Scala30312

• glyh/awesome-pl-concepts

  An menu/quick reference for Programming Language concepts

  20101

• benburrill/halt_is_defeat

  Time-traveling C-like programming language for the Sphinx architecture

  Language:Python15121