Mauricio Fierro's starred repositories

Language:HaskellStargazers:11Issues:0Issues:0

earlyoom

earlyoom - Early OOM Daemon for Linux

Language:CLicense:MITStargazers:2828Issues:0Issues:0

vim.wasm

Vim editor ported to WebAssembly

Language:Vim ScriptStargazers:5482Issues:0Issues:0

firenvim

Embed Neovim in Chrome, Firefox & others.

Language:TypeScriptLicense:GPL-3.0Stargazers:4583Issues:0Issues:0

readability

A standalone version of the readability lib

Language:JavaScriptLicense:NOASSERTIONStargazers:8405Issues:0Issues:0

vscode-ansible

vscode/vscodium extension for providing Ansible auto-completion and integrating quality assurance tools like ansible-lint, ansible syntax check, yamllint, molecule and ansible-test.

Language:TypeScriptLicense:MITStargazers:339Issues:0Issues:0

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Language:RustLicense:Apache-2.0Stargazers:26793Issues:0Issues:0

barrier

Open-source KVM software

Language:CLicense:NOASSERTIONStargazers:26797Issues:0Issues:0

racket-mvar

An implementation of Haskell’s MVars in Racket

Language:RacketLicense:ISCStargazers:28Issues:0Issues:0

analytics

Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.

Language:ElixirLicense:AGPL-3.0Stargazers:19153Issues:0Issues:0

Pokedex

🗡️ Pokedex demonstrates modern Android development with Hilt, Material Motion, Coroutines, Flow, Jetpack (Room, ViewModel) based on MVVM architecture.

Language:KotlinLicense:Apache-2.0Stargazers:7715Issues:0Issues:0

intel-one-mono

Intel One Mono font repository

License:OFL-1.1Stargazers:9257Issues:0Issues:0

dth

Examples of Dependently-typed programs in Haskell

Language:HaskellLicense:MITStargazers:298Issues:0Issues:0

certainty-by-construction

Source material for Certainty by Construction

Language:TeXStargazers:36Issues:0Issues:0

openai-cookbook

Examples and guides for using the OpenAI API

Language:MDXLicense:MITStargazers:57737Issues:0Issues:0

tmp-postgres

Create temporary postgres instances

Language:HaskellLicense:BSD-3-ClauseStargazers:52Issues:0Issues:0

react-konami-code

Trigger an easter egg by pressing a sequence of keys.

Language:TypeScriptLicense:MITStargazers:59Issues:0Issues:0

notebook

Rough and Ready Haskell Notebooks with HLS and VS Code

Language:HaskellLicense:MITStargazers:43Issues:0Issues:0

feedback

Declarative feedback loop manager

Language:HaskellLicense:GPL-3.0Stargazers:60Issues:0Issues:0

elm-syntax

Library for generating Elm syntax from Haskell in a scope-safe way

Language:HaskellLicense:BSD-3-ClauseStargazers:21Issues:0Issues:0
Stargazers:95Issues:0Issues:0

PLHaskell

A Haskell extension for PostgreSQL that allows embedded Haskell code.

Language:PLpgSQLLicense:GPL-3.0Stargazers:98Issues:0Issues:0

eff

🚧 a work in progress effect system for Haskell 🚧

Language:HaskellLicense:ISCStargazers:118Issues:0Issues:0

misbrands

The world's most hated IT stickers

License:CC0-1.0Stargazers:8632Issues:0Issues:0

TuiCss

Text-based user interface CSS library

Language:SCSSLicense:MITStargazers:1520Issues:0Issues:0

piece-of-cake-slayer

🍰🍴Template project based on the cake-slayer architecture library

Language:HaskellLicense:MPL-2.0Stargazers:19Issues:0Issues:0

FizzBuzzEnterpriseEdition

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Language:JavaStargazers:21018Issues:0Issues:0

clippy.js

Add Clippy or his friends to any website for instant nostalgia.

Language:JavaScriptLicense:NOASSERTIONStargazers:2825Issues:0Issues:0

spotify-tui

Spotify for the terminal written in Rust 🚀

Language:RustLicense:MITStargazers:17057Issues:0Issues:0

time-ghc-modules

Analyze GHC .dump-timings files

Language:HTMLLicense:MITStargazers:100Issues:0Issues:0