Pinned Repositories
btree-plus-store
Allocate and store B-trees in a shared arena
json-csv
Convert between JSON and CSV so that you can use Excel / LibreOffice formulas to organize your JSON
lAzR4t
Game where you place down turrets and their lasers combine when they collide, making cool combos
mini-rx
bare-bones "reactive programming" (change propogation) using a central data dependency graph
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.
type-sitter
generate typed wrappers for tree-sitter grammars from node-types.json and queries
winit-modular
proxy `winit` event loops which can be run at the same time, on separate threads
Jakobeha's Repositories
Jakobeha/type-sitter
generate typed wrappers for tree-sitter grammars from node-types.json and queries
Jakobeha/btree-plus-store
Allocate and store B-trees in a shared arena
Jakobeha/rustc-arena-modified
Attempt to port rustc-arena to stable rust and add some features
Jakobeha/treescript
A language to transform source code from/between different languages.
Jakobeha/awesome-structure-editors
A list of projectional and structural editors
Jakobeha/config.nvim
My neovim config (LazyVim)
Jakobeha/devolve
compound view graph for devolve-ui (very WIP)
Jakobeha/dyn_struct
Construct dynamically sized types safely
Jakobeha/enquote
A Rust library that quotes, unquotes, and unescapes strings
Jakobeha/haskell-language-server
My fork of HLS
Jakobeha/IntelliJ-P4-Plugin
P4 language plugin for IntelliJ IDE, updated to work with 2022.3
Jakobeha/intellij-smpl-coccinelle
SmPL (coccinelle) language support for intellij
Jakobeha/jakobeha.github.io
new personal site with a small template engine
Jakobeha/logos
Create ridiculously fast Lexers
Jakobeha/node-tree-sitter
Node.js bindings for tree-sitter
Jakobeha/nominalscript
Nominal type system over TypeScript/JavaScript
Jakobeha/nominalscript.coq
Formal methods on the NominalScript type system
Jakobeha/Open-Assistant
OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
Jakobeha/patricia_tree
A memory-efficient patricia tree implementation written in Rust
Jakobeha/rir
Jakobeha/server-config
Configuration for PRL-PRG servers
Jakobeha/structural-reflection
reflection crate for type names and structures, with structural subtyping
Jakobeha/superstring
Native core components for Pulsar
Jakobeha/swift-foundation
The Foundation project
Jakobeha/template98
A template for general TypeScript packages
Jakobeha/tree-sitter-nominalscript
NominalScript grammar for tree-sitter
Jakobeha/tree-sitter-rust
Rust grammar for tree-sitter
Jakobeha/UnderstandableBinary
use ML to analyze and disassemble binary files
Jakobeha/vim-keybindings-everywhere-the-ultimate-list
The ultimate list of which programs support Vim keybindings natively, or how they can be added with extensions.
Jakobeha/yaft
yet another framebuffer terminal