Skip to content
View kavon's full-sized avatar

Organizations

@uchicago-cs @artificechicago @ManticoreProject @llvm @swiftlang @halo-project

Block or report kavon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Verified Assembly Language for Everest

F# 278 21 Updated Feb 22, 2024

Lightweight & minimal project template using "modern" CMake

CMake 54 4 Updated Jul 10, 2019

💧 A server-side Swift HTTP web framework.

Swift 24,745 1,453 Updated Jan 15, 2025

A massively parallel, high-level programming language

Rust 17,915 442 Updated Dec 26, 2024

Dafny is a verification-aware programming language

C# 2,968 267 Updated Jan 17, 2025

Swift Game Engine supporting Windows, Linux, macOS, HTML5, and more 🚂

Swift 339 10 Updated Jan 19, 2025

AutoFDO

C++ 536 113 Updated Nov 27, 2024

System for verifying the correctness of generated Copilot programs

Haskell 14 1 Updated Jan 7, 2025
58 4 Updated Jan 16, 2023

A modern Prolog implementation written mostly in Rust.

Rust 2,125 134 Updated Jan 14, 2025

langcc: A Next-Generation Compiler Compiler

C++ 1,723 60 Updated Dec 21, 2022

A language server for Standard ML.

Rust 221 12 Updated Dec 18, 2024

The Swift Programming Language book

Markdown 1,772 170 Updated Jan 6, 2025

🐦 An async Swift library for the Twitter v2 API 🚧 WIP

Swift 114 26 Updated Dec 6, 2023

Standard ML of New Jersey

Standard ML 194 14 Updated Jan 19, 2025

Tool for translating plain-text programming-language syntax specifications into LaTeX or HTML

Standard ML 2 Updated Mar 20, 2024

A new type of shell

Rust 33,474 1,719 Updated Jan 19, 2025

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Haskell 506 31 Updated Jun 27, 2024

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Rust 1,924 45 Updated Dec 17, 2024

Benchmarks for capture-avoiding substitution

HTML 108 7 Updated Oct 18, 2022

A statically typed concatenative systems programming language.

Haskell 1,106 40 Updated Apr 10, 2023

Data-linked visualisations

PureScript 36 3 Updated Jan 17, 2025

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Haskell 147 13 Updated Mar 9, 2024

Mold: A Modern Linker 🦠

C++ 14,702 480 Updated Jan 19, 2025

The MaPLe compiler: efficient and scalable parallel functional programming

Standard ML 359 21 Updated Jan 14, 2025

Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.

OCaml 9 Updated Jun 20, 2023

Standard ML autoformatter

Standard ML 15 Updated Dec 25, 2021

C++ standards drafts

TeX 5,750 760 Updated Jan 18, 2025

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Dockerfile 61,305 4,721 Updated Aug 7, 2024

A decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.

Assembly 677 72 Updated Jan 14, 2025
Next
Showing results