![racket logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/racket/racket.png)
-
University of Utah
- Salt Lake City
- http:https://ben-greenman.com
Block or Report
Block or report bennn
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Repository for "The Idempotency-Key HTTP Header Field"
Compositional Verification of Security Protocols
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
Create your own study by cloning and editing configs; or check out the code behind the study components.
A Python library that generates static type annotations by collecting runtime types
CrazyS is an extension of the ROS package RotorS, aimed to modeling, developing and integrating the Crazyflie 2.0
Convert lambda expressions to CCC combinators
A comprehensive Web3 library for interacting with smart contracts on Ethereum using Elixir.
DeveloperGPT is a LLM-powered command line tool that enables natural language to terminal commands and in-terminal chat.
Research language for array processing in the Haskell/ML family
Interactive quizzes for Markdown
A self-hosted open source photo management service. This is the repository of the backend.
A Django content management system focused on flexibility and user experience
π₯ π₯ π₯ Open Source JIRA, Linear and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.
Library of formally verified abstract data types in Dafny.
A graphical testing suite for AUnit and Alloy
Misconception-based tutor designed to help people learn Linear Temporal Logic.
A frontend library for Vue and React that helps developers quickly build fast, accessible, and beautiful storefronts. Made with π by Vue Storefront team and contributors.
ποΈ Simple ecommerce cart application built with Typescript and React
The commerce platform with customization in its DNA.
Alokai is a Frontend as a Service solution that simplifies composable commerce. It connects all the technologies needed to build and deploy fast & scalable ecommerce frontends. It guides merchants β¦