esmolanka

esmolanka's Stars

• pola-rs/polars

  Dataframes powered by a multithreaded, vectorized query engine, written in Rust

  Language:Rust30.5k1679.2k2k

• embassy-rs/embassy

  Modern embedded framework, using Rust and async.

  Language:Rust5.6k42858778

• cormullion/juliamono

  repository for JuliaMono, a monospaced font with reasonable Unicode support.

  Language:CSS1.4k2520629

• zhaofengli/colmena

  A simple, stateless NixOS deployment tool

  Language:Rust1.3k1418468

• mattwparas/steel

  An embedded scheme interpreter in Rust

  Language:Rust1.2k146155

• luajit-remake/luajit-remake

  An ongoing attempt to re-engineer LuaJIT from scratch

  Language:C++1.2k421729

• google/mangle

  Language:Go1.1k221738

• mickeynp/combobulate

  Structured Editing and Navigation in Emacs with Tree-Sitter

  Language:Emacs Lisp946249954

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml863353941

• prathyvsh/pl-catalog

  A catalog of programming languages

  76424923

• woodrush/lambda-8cc

  x86 C compiler written in untyped lambda calculus

  Language:Common Lisp6259216

• ekzhang/percival

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

  Language:Rust60315725

• tweag/topiary

  Language:Rust5722032729

• agzam/spacehammer

  Hammerspoon config inspired by Spacemacs

  Language:Fennel568148770

• udem-dlteam/ribbit

  A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS Scheme REPL fits inside 6.5Kb !

  Language:Scheme489182243

• ethan-leba/tree-edit

  🌲 Structural editing in Emacs for any™ language!

  Language:Emacs Lisp397125916

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell367123925

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean328193429

• ollef/sixty

  Dependent type checker using normalisation by evaluation

  Language:Haskell2542457

• leanprover-community/lean4-metaprogramming-book

  Language:Lean222113956

• luc-tielen/eclair-lang

  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

  Language:Haskell22142212

• Tablam/TablaM

  The practical relational programing language for data-oriented applications

  Language:Rust1918464

• ebpa/tui.el

  An experimental text-based UI framework for Emacs modeled after React - **requires emacs 26.1 or newer**

  Language:Emacs Lisp18319106

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean124145814

• paf31/dovetail

  A PureScript interpreter in Haskell

  Language:Haskell1193253

• travitch/datalog

  A pure Haskell implementation of Datalog

  Language:Haskell10213913

• alt-romes/hegg

  Fast equality saturation in Haskell

  Language:Haskell773228

• poitin/Distiller

  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

  Language:Haskell288166

• groupoid/anders

  🧊 Модальний гомотопічний верифікатор математики

  Language:OCaml19002

• proger/uk4b

  GPT-2 Metadata Pretraining Towards Instruction Finetuning for Ukrainian

  Language:Python18402