rohankan's Stars
liyishuai/coq-http
HTTP specification in Coq, testable and verifiable
agda/cubical
An experimental library for Cubical Agda
sifive/Kami
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
stevej2608/oppen-pretty-printer
Python implementation of Derek C. Open's pretty printer algorithm
VictorTaelin/bend_program_search_example
A simple example on how Bend could be used to accelerate program search in a near future
ejgallego/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
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.
unisonweb/unison
A friendly programming language from the future
witheve/Eve
Better tools for thought
VictorTaelin/calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
wesnoth/wesnoth
An open source, turn-based strategy game with a high fantasy theme.
facebook/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Dao-AILab/flash-attention
Fast and memory-efficient exact attention
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
astral-sh/ruff
An extremely fast Python linter and code formatter, written in Rust.
yixuantt/MultiHop-RAG
Repository for "MultiHop-RAG: A Dataset for Evaluating Retrieval-Augmented Generation Across Documents" (COLM 2024)
mit-pdos/xv6-riscv
Xv6 for RISC-V
pkgxdev/pkgx
run anything
fchollet/ARC-AGI
The Abstraction and Reasoning Corpus
semantalytics/awesome-semantic-web
A curated list of various semantic web and linked data resources.
stanfordnlp/dspy
DSPy: The framework for programming—not prompting—foundation models
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
nextflow-io/nextflow
A DSL for data-driven computational pipelines
ShishirPatil/gorilla
Gorilla: Training and Evaluating LLMs for Function Calls (Tool Calls)
microsoft/autogen
A programming framework for agentic AI 🤖
guidance-ai/guidance
A guidance language for controlling large language models.
microsoft/semantic-kernel
Integrate cutting-edge LLM technology quickly and easily into your apps