brixen's Stars
tree-sitter/tree-sitter
An incremental parsing system for programming tools
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
vesoft-inc/nebula
A distributed, fast open-source graph database featuring horizontal scalability and high availability
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
github/scientist
:microscope: A Ruby library for carefully refactoring critical paths.
steshaw/plt
Programming Language Theory λΠ
javascriptdata/danfojs
Danfo.js is an open source, JavaScript library providing high performance, intuitive, and easy to use data structures for manipulating and processing structured data.
yoav-lavi/melody
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
lorenzodifuccia/safaribooks
Download and generate EPUB of your favorite books from O'Reilly Learning (aka Safari Books Online) library.
ekmett/lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
wso2/reference-architecture
The Reference Architecture for Agility is a technology-neutral logical architecture based on a disaggregated cloud-based model.
langjam/langjam
openai/procgen
Procgen Benchmark: Procedurally-Generated Game-Like Gym-Environments
TBD54566975/tbdex-whitepaper
haskell-beam/beam
A type-safe, non-TH Haskell SQL library and ORM
AndrasKovacs/smalltt
Demo for high-performance type theory elaboration
Gabriella439/Haskell-Morte-Library
A bare-bones calculus-of-constructions
ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
sweirich/challenge
Strongly-typed System F in Haskell
srid/ema
Change-aware static site generator for Haskell programmers
monadicsystems/okapi
A data-driven micro web framework for Haskell
spire/spire
The Spire Programming Language
nikita-volkov/domain
Focused domain model declaration toolkit for Haskell
larrytheliquid/leveling-up
Source code accompanying the paper "Leveling Up Dependent Types"
SimulationEverywhere/cadmium
A strong typed PDEVS simulator
gergoerdi/generic-syntax
Library implementation of "Generic description of well-scoped, well-typed syntaxes"
SimulationEverywhere/CDPP_ExtendedStates-codename-Santi
An extended and improved version of CD++ for Cell-DEVS
inkytonik/cooma
The Cooma project is investigating secure programming language design based on fine-grained object capabilities.
SimulationEverywhere/Cell-DEVS-Cadmium-Simulation-Environment
This repository contains the Cell-DEVS Simulation Cadmium Environment to develop Cell-DEVS models
SimulationEverywhere/CD-WebViewer-2.0
Second version of the CD-WebViewer. (Note : When we abandon the first version, we should delete the previous repo and rename this one)