Skip to content
View bennn's full-sized avatar

Highlights

  • Pro

Organizations

@brownplt @nuprl @racket-templates @syntax-objects @utahplt

Block or report bennn

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

Starred repositories

Showing results

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 31,141 12,830 Updated Mar 1, 2025

Library for symbolic automata and symbolic visibly pushdown automata

Java 68 27 Updated Feb 11, 2025

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2, and other large language models.

Go 130,373 10,665 Updated Mar 1, 2025
OCaml 1 Updated Dec 11, 2024

The implementation of an SMTLib dialect for xDSL

Python 2 Updated Mar 1, 2025

Yosys Open SYnthesis Suite

C++ 3,670 914 Updated Mar 1, 2025

VSCode extension for GPT-3.

TypeScript 1 Updated Sep 11, 2023

🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers

Python 109 17 Updated Mar 1, 2025

[NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution

Python 14 4 Updated Feb 10, 2025
Rust 2 Updated May 19, 2024
Swift 14 3 Updated Jun 27, 2024

Proving leftpad correct two-dozen different ways

SystemVerilog 666 63 Updated Nov 18, 2024

Incremental downloader for dejacode.

Rust 2 3 Updated Dec 15, 2021

Choreographies in Clojure

Clojure 72 Updated Oct 29, 2024
JavaScript 1 Updated Oct 17, 2024
JavaScript 1 Updated Oct 1, 2024
C 8 8 Updated Dec 4, 2024

Rough examples of using Chorex—very experimental!

Elixir 2 Updated Feb 19, 2025

a recurrent network trained to draw dicks

JavaScript 611 57 Updated Apr 30, 2020

If T: Benchmark for Type Narrowing

Racket 2 1 Updated Mar 1, 2025

SRP (Secure Remote Password) 6/6a library for Elixir

Elixir 12 3 Updated Nov 5, 2017

Wrapper around the Erlang crypto module for Elixir.

Elixir 153 50 Updated Jun 26, 2024

A curated list of cryptography resources and links.

6,125 679 Updated Oct 15, 2024

Open-source code for RFCNLP paper.

Promela 55 9 Updated Nov 9, 2022

Security proofs written to be machine checkable.

TeX 4 Updated Jul 24, 2024
Next
Showing results