1478599553

1478599553's Stars

• brechtsanders/winlibs_mingw

  winlibs standalone build of GCC compiler and MinGW-w64

  98144

• contificate/match

  Match compilation algorithm in OCaml

  Language:OCaml23

• seart-group/java-tree-sitter

  Java bindings for tree-sitter

  Language:Java344

• dtolnay/syn

  Parser for Rust source code

  Language:Rust2.9k313

• 5eqn/proof-cat

  A drag-and-drop proof assistant inspired by Scratch.

  Language:TypeScript7

• mihonapp/mihon

  Free and open source manga reader for Android

  Language:Kotlin11.1k508

• AvaloniaUI/Avalonia

  Develop Desktop, Embedded, Mobile and WebAssembly apps with C# and XAML. The most popular .NET UI client technology

  Language:C#26.4k2.3k

• ocornut/imgui

  Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

  Language:C++62.1k10.4k

• LibreScore/dl-librescore

  Download sheet music

  Language:TypeScript1.8k61

• leanprover-community/lean4-metaprogramming-book

  Language:Lean23256

• TheDan64/inkwell

  It's a New Kind of Wrapper for Exposing LLVM (Safely)

  Language:Rust2.4k232

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k138

• 5eqn/silent-lang

  [WIP] A modest (888 lines) FP language that compiles to LLVM-IR.

  Language:Scala111

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1.5k

• modmuss50/mod-publish-plugin

  A Gradle plugin to publish mods to a range of destinations

  Language:Kotlin6311

• acple/ParsecSharp

  The faster monadic parser combinator library for C#

  Language:C#537

• tiancaiamao/yscheme

  a compiler from a subset of Scheme into X64

  Language:Scheme239185

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown319k29.6k

• ballerina-platform/lsp4intellij

  This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.

  Language:Java449107

• JetBrains/Grammar-Kit

  Grammar files support & parser/PSI generation for IntelliJ IDEA

  Language:Java725127

• QDelta/fcomp

  Language:Haskell81

• dinfuehr/dora

  Dora VM

  Language:Rust50132

• Infinity-Type-Cafe/ntype-cafe-summer-school

  ntype cafe summer school resources

  Language:HTML1377

• rami3l/plfl

  Learn Lean 4 with PLFA proofs.

  Language:Lean505

• IUCompilerCourse/Essentials-of-Compilation

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

  Language:TeX1.3k143

• siriusdemon/P523-Rust

  P523 Course in Rust

  Language:Rust5911

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k80

• yinwang0/historical

  Some educational code written 10+ years ago at IU

  Language:Scheme2628

• IUCompilerCourse/IU-P423-P523-E313-E513-Fall-2020

  Web page for IU Compiler Course for Fall 2020

  Language:Racket13028

• yjqww6/macrology

  Language:Racket40