jmitchell - Overview
Skip to content
Sign in
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
View all features
Sign up
Backtracking behaviour to solve discrete problems by brute force
Elixir 25 2
Idris backend targeting Elixir (Work in progress)
Haskell 18
Multiset/bag implementation in Rust
Rust 9 11
Emacs mode for BNFC files
Emacs Lisp 8 1
(WIP) Dhall grammar for Tree-sitter
C 8 1