scpmx

scpmx's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k435

• unplugin/unplugin-icons

  🤹 Access thousands of icons as components on-demand universally.

  Language:TypeScript4.2k144

• rust-bakery/nom

  Rust parser combinator framework

  Language:Rust9.6k808

• CategoricalData/CQL

  Categorical Query Language IDE

  Language:Java30023

• launchbadge/sqlx

  🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

  Language:Rust13.7k1.3k

• rhaiscript/rhai

  Rhai - An embedded scripting language for Rust.

  Language:Rust3.9k181

• genaray/Arch

  A high-performance C# based Archetype & Chunks Entity Component System (ECS) with optional multithreading.

  Language:C#1.1k94

• justinwoo/easy-purescript-nix

  Easy PureScript (and other tools) with Nix

  Language:Nix19556

• thma/LtuPatternFactory

  Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

  Language:Haskell99538

• fsprojects/Argu

  A declarative CLI argument parser for F#

  Language:F#46175

• AhnJihwan/AhnTri

  Super-simple OS

  Language:C5811

• tayllan/awesome-algorithms

  A curated list of awesome places to learn and/or practice algorithms.

  21.2k2.7k

• tuhdo/os01

  Bootstrap yourself to write an OS from scratch. A book for self-learner.

  Language:TeX12.2k715

• edwinb/TypeDD-Samples

  Sample code from "Type Driven Development with Idris"

  Language:Idris16142

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k644

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k234

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k658

• cfenollosa/os-tutorial

  How to create an OS from scratch

  Language:C27.6k3.3k