alt-romes Goto Github PK
Name: Rodrigo Mesquita
Type: User
Company: Well-Typed LLP
Bio: GHC contributor, working on linear types, equality saturation, and in whatever else
Location: Portugal
Blog: alt-romes.github.io
Name: Rodrigo Mesquita
Type: User
Company: Well-Typed LLP
Bio: GHC contributor, working on linear types, equality saturation, and in whatever else
Location: Portugal
Blog: alt-romes.github.io
minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
ActivoBank interface in Haskell
Add-on writing docs
A fast Haskell JSON library
generate a page to display albums. add albums with an npm command. hosted on github
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
For ASD: Automatically generate entire Babel projects from pseudo-code :)
Assembler for my 8bit cpu
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
Little util to produce statistics from Babel's output for a course
Why am I writing another C to LLVM compiler
Official upstream development repository for Cabal and cabal-install
A simple implementation of a parser and its use to calculate simple mathematical expressions
A chip8 emulator made in gameboy assembly for the gameboy
A collection of algorithms, data structures and other useful information for competitive programming.
setting up home, with extra steps
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
An easy to use Node.js client with OAuth support to connect with the discogs.com API v2.0
A community-driven collection of documentation for Haskell error messages and warnings
Gameboy emulator
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.