kidq330

kidq330's Stars

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.1k461

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k133

• membraneframework-labs/workshop_elixir_conf_us_2024

  Language:Elixir11

• lpil/icalendar

  🗓️ A small library for reading and writing ICalendar files.

  Language:Elixir10254

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.1k287

• edgedb/edgedb

  A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

  Language:Python12.9k395

• EvgSkv/logica

  Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

  Language:Jupyter Notebook1.7k88

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.2k1k

• zed-industries/zed

  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Language:Rust46.5k2.6k

• jdb78/lipo

  Global, derivative-free optimization for hyperparameter tuning

  Language:Jupyter Notebook416

• SimonBrazell/privacy-redirect

  A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.

  Language:JavaScript2k114

• alfert/propcheck

  Property based Testing for Elixir (based upon PropEr)

  Language:Elixir37243

• OpenRailAssociation/osrd

  An open source web application for railway infrastructure design, capacity analysis, timetabling and simulation

  Language:TypeScript43640

• silkeh/docker-clang

  Dockerfiles for Clang and LLVM

  Language:Python9430

• janhq/jan

  Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)

  Language:TypeScript21.9k1.3k

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq81113

• ndmitchell/hlint

  Haskell source code suggestions

  Language:Haskell1.5k195

• asciinema/asciinema-server

  Platform for hosting and sharing terminal session recordings

  Language:Elixir2.3k262

• darkreader/darkreader

  Dark Reader Chrome and Firefox extension

  Language:TypeScript19.4k2.4k

• CatalaLang/catala

  Programming language for literate programming law specification

  Language:OCaml2k80

• josefs/Gradualizer

  A Gradual type system for Erlang

  Language:Erlang61235

• membraneframework/bundlex

  Multiplatform app bundler tool for Elixir

  Language:Elixir7614

• membraneframework/unifex

  Tool for generating interfaces between native C code and Elixir

  Language:Elixir769

• jdx/mise

  dev tools, env vars, task runner

  Language:Rust9k242

• mit-nlp/MITIE

  MITIE: library and tools for information extraction

  Language:C++2.9k534

• StampWallet/backend

  StampWallet appliaction backend

  Language:Go21