Boarders

Boarders's Stars

• jgraph/drawio

  draw.io is a JavaScript, client-side editor for general diagramming.

  Language:JavaScript41.3k5893.7k7.7k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust35.1k942.7k937

• hundredrabbits/Orca

  Esoteric Programming Language

  Language:JavaScript4.6k105165229

• panr/hugo-theme-terminal

  A simple, retro theme for Hugo

  Language:CSS2.1k17211755

• fosskers/aura

  A multilingual package manager for Arch Linux and the AUR.

  Language:Haskell1.8k30599114

• swarm-game/swarm

  Resource gathering + programming game

  Language:JavaScript8381577252

• minirust/minirust

  A precise specification for "Rust lite / MIR plus"

  Language:Rust818165134

• ollef/sixten

  Functional programming with fewer indirections

  Language:Haskell761498526

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell618403235

• agda/agda-stdlib

  The Agda standard library

  Language:Agda583291k236

• benruijl/symbolica

  A modern computer algebra library for Python and Rust.

  Language:Rust543111118

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean51933427

• mirth-lang/mirth

  Compiler for the Mirth programming language.

  Language:C447284114

• mazeppa-dev/mazeppa

  A modern supercompiler for call-by-value functional languages

  Language:OCaml3808228

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda3682411927

• nasa/ogma

  Generator of runtime monitors for flight and robotics applications.

  Language:Haskell3351310625

• andrewchambers/hermes

  Hermes software environment manager

  Language:C31213658

• 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:Agda26323327

• ollef/sixty

  Dependent type checker using normalisation by evaluation

  Language:Haskell2542457

• HoTT-Intro/Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  Language:Agda1231105

• QuantEcon/book-networks-public

  Companion Site for Economic Networks: Theory and Computation

  Language:Jupyter Notebook9861732

• Helium4Haskell/helium

  The Helium compiler, Helium-as-a-library, and the texthint interpreter

  Language:Haskell948318

• seanhess/hyperbole

  Haskell interactive serverside web framework inspired by HTMX

  Language:Haskell885226

• AndrasKovacs/normalization-bench

  Lambda normalization and conversion checking benchmarks for various implementations

  Language:Haskell551386

• adam-mcdaniel/markdown-to-html

  A Markdown to HTML compiler written in Haskell.

  Language:Haskell15202

• mstewartgallus/hs-callbypushvalue

  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?

  Language:Haskell14200

• argumentcomputer/yatima-lang-proto

  The original Haskell + IPFS prototype of the yatima language

  Language:Haskell5

• ollef/environment-bench

  Benchmarking compiler representations of variable environments

  Language:Haskell5311

• TikhonJelvis/theta-idl

  Define communication protocols between applications using algebraic data types.

  Language:Haskell430

• TikhonJelvis/seven-guis-reflex

  a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark

  Language:Haskell130