femtomc

femtomc's Stars

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.7k117761351

• zesterer/chumsky

  Write expressive, high-performance parsers with ease.

  Language:Rust3.8k22301164

• zesterer/ariadne

  A fancy diagnostics & error reporting crate

  Language:Rust1.9k87480

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.4k23143151

• ekzhang/percival

  📝 Web-based, reactive Datalog notebooks for data analysis and visualization

  Language:Rust61414724

• tshort/StaticCompiler.jl

  Compiles Julia code to a standalone library (experimental)

  Language:Julia520265729

• JuliaDiff/Diffractor.jl

  Next-generation AD

  Language:Julia439297531

• jethrokuan/braindump

  knowledge repository managed with org-mode and org-roam.

  Language:TeX386181686

• JuliaSymbolics/Metatheory.jl

  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  Language:Julia3661213345

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python287617635

• probcomp/PClean

  A domain-specific probabilistic programming language for scalable Bayesian data cleaning

  Language:Julia221212033

• JuliaGPU/GPUCompiler.jl

  Reusable compiler infrastructure for Julia GPU backends.

  Language:Julia1601216154

• ekzhang/ukanren-rs

  Rust implementation of µKanren, a featherweight relational programming language.

  Language:Rust112314

• google/mlir-hs

  Haskell bindings for MLIR

  Language:Haskell10661114

• mbutterick/pollen-tfl

  Commented Pollen sample project [mirror of https://git.matthewbutterick.com/mbutterick/pollen-tfl]

  Language:Perl661059

• Diggsey/query_interface

  Dynamically query a type-erased object for any trait implementation

  Language:Rust65844

• david-abel/latex_docs

  LaTeX template and custom commands

  Language:TeX592013

• dfdx/Ghost.jl

  The Code Tracer

  Language:Julia484126

• beacon-biosignals/K8sClusterManagers.jl

  A Julia cluster manager for Kubernetes

  Language:Julia3322395

• JuliaCompilerPlugins/CompilerPluginTools.jl

  collective tools for Julia SSA IR.

  Language:Julia29334

• beacon-biosignals/Legolas.jl

  Tables.jl-friendly mechanisms for constructing, reading, writing, and validating Arrow tables against extensible, versioned, user-specified schemas.

  Language:Julia2717503

• adolgert/BijectiveHilbert.jl

  Multiple Hilbert curve algorithms in two dimensions, N-dimensions, and with unequal side lengths, in native Julia.

  Language:Julia21230

• mit-frap/spring22

  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022

  Language:Coq20417

• beacon-biosignals/OndaFormat

  A lightweight format for storing and manipulating sets of multi-sensor, multi-channel, LPCM-encodable, annotated, time-series recordings.

  1325120

• beacon-biosignals/julia_pod

  k8s native julia development

  Language:Shell1019323

• beacon-biosignals/LegolasFlux.jl

  Save Flux model weights in Legolas-powered Arrow tables

  Language:Julia62171

• probcomp/GenDistributions.jl

  Use Distributions.jl distributions from within Gen

  Language:Julia563

• probcomp/SpikingInferenceCircuits.jl

  Language:Julia5712

• jarredbarber/rustracer

  Language:Rust2100

• probcomp/Circuits.jl

  Language:Julia261