osa1

I like programming languages and compilers. Working on @dart-lang at @google.

Pinned Repositories

h10
A Haskell 2010 type checker
Language:Rust13 3 61
language-lua
Lua parser and pretty-printer
Language:Lua51 5 2817
lexgen
A fully-featured lexer generator, implemented as a proc macro
Language:Rust60 3 487
MANTI
A pure subset of Prolog, implemented in Haskell
Language:Haskell31 4 12
mincaml
A MinCaml compiler implemented in Rust
Language:Rust40 3 43
parsegen
An LR parser generator, implemented as a proc macro
Language:Rust15 2 110
sg
A syntax-aware grep-like code search tool
Language:Rust46 4 71
StrictCore
An experimental intermediate language for GHC
Language:Haskell37 7 20
tiny
A terminal IRC client
Language:Rust973 17 27656
wasmrun
[WIP] A Wasm interpreter with debugging and inspection capabilities
Language:Rust10 3 60

osa1's Repositories

osa1/tiny
A terminal IRC client
Language:Rust973 17 27656
osa1/lexgen
A fully-featured lexer generator, implemented as a proc macro
Language:Rust60 3 487
osa1/sg
A syntax-aware grep-like code search tool
Language:Rust46 4 71
osa1/mincaml
A MinCaml compiler implemented in Rust
Language:Rust40 3 43
osa1/parsegen
An LR parser generator, implemented as a proc macro
Language:Rust15 2 110
osa1/h10
A Haskell 2010 type checker
Language:Rust13 3 61
osa1/wasmrun
[WIP] A Wasm interpreter with debugging and inspection capabilities
Language:Rust10 3 60
osa1/lsp_example
An actually minimal VSCode LSP extension demo
Language:Rust8 2 01
osa1/Dextrack
A Garmin watch face with blood glucose monitoring
Language:Monkey C5 2 3
osa1/rcbackup
Various rc and config files
Language:Vim Script4 3 1
osa1/sd
Language:Rust1 2 0
osa1/bgamari.github.com
Language:HTML1 0
osa1/characters
A package for characters represented as unicode extended grapheme clusters
Language:Dart1 0
osa1/coc-rust-analyzer
rust-analyzer extension for coc.nvim
Language:TypeScript1 0
osa1/fixnum
Fixed-width integer library for Dart.
Language:Dart1 0
osa1/flutter_engine
The Flutter engine
Language:C++1 0
osa1/function-references
Proposal for Typed Function References
Language:WebAssembly1 0
osa1/gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
Language:WebAssembly1 0
osa1/glove80-zmk-config
This repo is the official configuration of the MoErgo Glove80 wireless split contoured keyboard. Use it to develop your own keymap and easily build your own ZMK firmware to run on your Glove80.
Language:Nix0 0
osa1/js-string-builtins
JS String Builtins
osa1/lalrpop
LR(1) parser generator for Rust
Language:Rust2 0
osa1/leb128_repl
Language:Rust2 0
osa1/lexgen_rust
Language:Rust2 1
osa1/notify-rust
☝️send desktop notifications from your Rust app.
Language:Rust1 0
osa1/osa1.github.com
Language:JavaScript3 0
osa1/protobuf.dart
Runtime library for Dart protobufs
Language:Dart1 0
osa1/sdk
The Dart SDK, including the VM, dart2js, core libraries, and more.
Language:Dart1 0
osa1/typed_array_bench
SkeletalAnimation from Dart SDK benchmark suite
Language:Dart2 0
osa1/wasm-tools
Low level tooling for WebAssembly in Rust
Language:Rust2 0
osa1/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Language:Rust1 0