eckertliam

eckertliam's Stars

• logpy/logpy

  Logic Programming in Python

  Language:Python89868

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM28.2k11.6k

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k117

• sandersn/mini-typescript

  A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

  Language:TypeScript1.1k59

• exaloop/codon

  A high-performance, zero-overhead, extensible Python compiler using LLVM

  Language:C++15k517

• microsoft/TypeScript-Compiler-Notes

  A repo containing notes about the TypeScript Compiler codebase

  Language:JavaScript61125

• lutzroeder/netron

  Visualizer for neural network, deep learning and machine learning models

  Language:JavaScript27.7k2.8k

• kern/filepizza

  :pizza: Peer-to-peer file transfers in your browser

  Language:JavaScript4.4k331

• rrebase/knboard

  Kanban boards with React & Django.

  Language:TypeScript665185

• callisto-lang/compiler

  The Callisto compiler of the 13th month, and other language extras

  Language:D464

• erg-lang/erg

  A statically typed language compatible with Python

  Language:Rust2.7k55

• versotile-org/verso

  A web browser that plays old world blues to build new world hope

  Language:Rust4.5k156

• samrushing/irken-compiler

  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.

  Language:Scheme21017

• racket/typed-racket

  Typed Racket

  Language:Racket521104

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.8k1k

• jamiebuilds/the-super-tiny-compiler

  :snowman: Possibly the smallest compiler ever

  Language:JavaScript27.9k2.9k

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.5k660

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  8.8k645

• rui314/8cc

  A Small C Compiler

  Language:C6.1k740

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust64218

• numba/numba

  NumPy aware dynamic Python compiler using LLVM

  Language:Python9.8k1.1k

• openai/deeptype

  Code for the paper "DeepType: Multilingual Entity Linking by Neural Type System Evolution"

  Language:Python648146

• jzimmerman/langcc

  langcc: A Next-Generation Compiler Compiler

  Language:C++1.7k57

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust97.2k12.6k

• diegomura/react-pdf

  📄 Create PDF files using React

  Language:JavaScript14.7k1.2k

• goodmodule/react-facebook

  Facebook components like a Login button, Like, Share, Chat, Comments, Page or Embedded Post

  Language:TypeScript792144

• ThomasMertes/seed7

  Source code of Seed7

  Language:C22312

• cython/cython

  The most widely used Python to C compiler

  Language:Python9.4k1.5k

• ProvableHQ/leo

  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

  Language:Rust4.8k655

• maxlath/wikibase-cli

  read and edit a Wikibase instance from the command line

  Language:JavaScript22624