Jakob Hain's repositories
type-sitter
generate typed wrappers for tree-sitter grammars from node-types.json and queries
btree-plus-store
Allocate and store B-trees in a shared arena
rustc-arena-modified
Attempt to port rustc-arena to stable rust and add some features
treescript
A language to transform source code from/between different languages.
awesome-structure-editors
A list of projectional and structural editors
config.nvim
My neovim config (LazyVim)
dyn_struct
Construct dynamically sized types safely
enquote
A Rust library that quotes, unquotes, and unescapes strings
haskell-language-server
My fork of HLS
IntelliJ-P4-Plugin
P4 language plugin for IntelliJ IDE, updated to work with 2022.3
intellij-smpl-coccinelle
SmPL (coccinelle) language support for intellij
jakobeha.github.io
new personal site with a small template engine
logos
Create ridiculously fast Lexers
node-tree-sitter
Node.js bindings for tree-sitter
nominalscript
Nominal type system over TypeScript/JavaScript
nominalscript.coq
Formal methods on the NominalScript type system
Open-Assistant
OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
patricia_tree
A memory-efficient patricia tree implementation written in Rust
server-config
Configuration for PRL-PRG servers
structural-reflection
reflection crate for type names and structures, with structural subtyping
superstring
Native core components for Pulsar
swift-foundation
The Foundation project
template98
A template for general TypeScript packages
tree-sitter-nominalscript
NominalScript grammar for tree-sitter
tree-sitter-rust
Rust grammar for tree-sitter
UnderstandableBinary
use ML to analyze and disassemble binary files
vim-keybindings-everywhere-the-ultimate-list
The ultimate list of which programs support Vim keybindings natively, or how they can be added with extensions.
yaft
yet another framebuffer terminal