kejace

kejace's Stars

• VikParuchuri/marker

  Convert PDF to markdown quickly with high accuracy

  Language:Python11.8k49124584

• whitead/paper-qa

  LLM Chain for answering questions from documents with citations

  Language:Python3.7k41132352

• arpitbansal297/Cold-Diffusion-Models

  Official implementation of Cold-Diffusion for different transformations in pytorch.

  Language:Python958171678

• microsoft/Nova

  Nova: High-speed recursive arguments from folding schemes

  Language:Rust6652542170

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell431295049

• Frost-group/The-Oracle-of-Zotero

  LLM Chain querying a scientific Zotero library, with citations

  Language:Python364007

• powdr-labs/powdr

  A modular stack for zkVMs, with a focus on productivity, security and performance.

  Language:Rust3331531967

• boatbod/op25

  Fork of osmocom OP25 by boatbod

  Language:C++2995414996

• martinescardo/TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Language:Agda213153440

• mpickering/apply-refact

  Refactor Haskell source files

  Language:Haskell145106628

• grin-compiler/ghc-whole-program-compiler-project

  GHC Whole Program Compiler and External STG IR tooling

  Language:Haskell11611712

• marcosh/crem

  Compositional Representable Executable Machines

  Language:Haskell976536

• gstew5/snarkl

  Language:Haskell5914129

• b-mehta/topos

  Topos theory in lean

  Language:Lean519312

• adamwalker/clash-utils

  A collection of reusable Clash designs/examples

  Language:Haskell4812119

• conal/felix

  Agda category theory library for denotational design

  Language:Agda45424

• BoltonBailey/formal-snarks-project

  A formal verification of Linear PCP SNARKs.

  Language:Lean42611

• sellout/compiling-anything-to-categories

  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

  Language:Haskell19302

• charlesfrye/raskell

  RASP-L in Haskell for my fellow rascals

  Language:Haskell16200

• btq-ag/keelung-compiler

  Compiler of Keelung

  Language:Haskell94342

• martyall/straw

  Compiling to SNARKs

  Language:Haskell6101

• jyp/linear-smc

  Linear Types, Symmetric Monoidal Categories, and Tensors

  Language:Haskell5301

• martyall/arkworks-bridge

  Importing R1CS and witness files into arkworks via json

  Language:Rust5310

• Orbis-Tertius/FRI-Survey

  Language:TeX5611

• adamwalker/fpga-fm-radio

  An FPGA FM radio implemented in Clash

  Language:Tcl4300

• adamwalker/digital-modulation

  Language:Python330

• Orbis-Tertius/haskell-fri-proofs

  WIP: FRI-based ZKPs in Haskell

  Language:Haskell33151

• martyall/calc

  Language:Rust2200

• Orbis-Tertius/osl

  Language:Haskell23212

• martyall/snarkl

  Language:Haskell1101