FabianVegaA

FabianVegaA's Stars

• exaloop/codon

  A high-performance, zero-overhead, extensible Python compiler using LLVM

  Language:C++15.2k137428523

• naklecha/llama3-from-scratch

  llama3 implementation one matrix multiplication at a time

  Language:Jupyter Notebook14k99181.1k

• sqlc-dev/sqlc

  Generate type-safe code from SQL

  Language:Go13.9k821.6k834

• microsoft/BitNet

  Official inference framework for 1-bit LLMs

  Language:C++12.5k13295879

• rust-bakery/nom

  Rust parser combinator framework

  Language:Rust9.6k85907807

• darrenburns/posting

  The modern API client that lives in your terminal.

  Language:Python6.5k1970102

• infinyon/fluvio

  Lean and mean distributed stream processing system written in rust and web assembly. Alternative to Kafka + Flink in one.

  Language:Rust3.9k441.5k489

• gosub-io/gosub-engine

  Our main browser engine repository.

  Language:Rust3.5k3598174

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k512.2k370

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k651.2k379

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k665.6k365

• ktock/container2wasm

  Container to WASM converter

  Language:Go2.1k206987

• nix-community/nixvim

  Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

  Language:Nix1.9k13633295

• maitrix-org/llm-reasoners

  A library for advanced large language model reasoning

  Language:Python1.6k1948139

• bytecodealliance/rustix

  Safe Rust bindings to POSIX-ish APIs

  Language:Rust1.5k21252167

• o8vm/octox

  Unix-like OS in Rust inspired by xv6-riscv

  Language:Rust1.5k241262

• nix-community/nix-init

  Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]

  Language:Rust94175522

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript793204288

• Lumorti/Quandoom

  A port of DOOM for a quantum computer

  Language:C++6938422

• effekt-lang/effekt

  A language with lexical effect handlers and lightweight effect polymorphism

  Language:Scala3381231430

• royreznik/rexi

  Terminal UI for Regex Testing

  Language:Python32021811

• lazamar/nix-package-versions

  Search for old versions of Nix packages

  Language:Haskell318103627

• ms705/nom-sql

  Rust SQL parser written using nom

  Language:Rust23183541

• PacktPublishing/Game-Development-with-Rust-and-WebAssembly

  Game Development with Rust and WebAssembly, Published by Packt

  Language:Rust2198436

• mikeshulman/narya

  A proof assistant for higher-dimensional type theory

  Language:OCaml15619510

• HigherOrderCO/HVM3

  HVM3

  Language:Haskell113869

• sayo-hs/heftia

  higher-order algebraic effects done right for Haskell

  Language:Haskell822173

• systemxlabs/sqlparser-nom

  A SQL query parser written using nom.

  Language:Rust72418

• Gadersd/ic

  An interaction combinator runtime

  Language:Rust15100

• Inria-Prosecco/StarMalloc

  A verified, modern, hardened memory allocator.

  Language:F*14300