I like compilers, type theory, and functional progamming languages
oberblastmeister Goto Github PK
Type: User
Type: User
I like compilers, type theory, and functional progamming languages
Sequence optimized for monoidal construction and folding
A lexical analyser generator for Haskell
Types to interact with anki-connect
Dotfiles for Arch Linux
Futures for neovim
Collections of awesome neovim plugins.
A binding powers macro inspired by matklads blog post
A compiler backend
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
A cat clone written in rust
A tool for structural code search and replace that supports ~every language.
A async completion framework aims to provide completion to neovim's built in LSP written in Lua
Repository for design and specification of the Component Model
A derive builder macro made with proc-macro-workshop
An easy to use, performant extensible effects library with seamless integration with the existing Haskell ecosystem.
Libraries for the Effectful Haskell effects system
testing github ci
Neovim lua plugin to format the current buffer with external executables
A flake for ghc development
Git signs written in pure lua
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.