José Miguel Romero Espitia's starred repositories

hagato

Haskell Gamedev Toolkit, a library for developing games from scratch.

Language:HaskellLicense:NOASSERTIONStargazers:66Issues:0Issues:0

servant-template

A modern template for a Servant

Language:HaskellLicense:MITStargazers:51Issues:0Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:2619Issues:0Issues:0

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

Language:HaskellStargazers:617Issues:0Issues:0

Nordic

:snowflake: Dark Gtk3.20+ theme created using the awesome Nord color pallete.

Language:CSSLicense:GPL-3.0Stargazers:2260Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:2Issues:0Issues:0
Language:ElixirStargazers:5Issues:0Issues:0

floating-ui

A JavaScript library to position floating elements and create interactions for them.

Language:TypeScriptLicense:MITStargazers:29178Issues:0Issues:0

password

datatypes and functions for easily working with passwords in Haskell

Language:HaskellStargazers:54Issues:0Issues:0

TheJobInterviewGuide

A job guide to help developers get through interviews and get amazing jobs!

License:MITStargazers:359Issues:0Issues:0

microfrontends

testing microfrontends with Elm & WebComponents

Language:JavaScriptStargazers:25Issues:0Issues:0

servant-multipart

Support for file uploads in multipart/form-data for servant

Language:HaskellStargazers:40Issues:0Issues:0

HSRogue

An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.

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

ghcide

A library for building Haskell IDE tooling

Language:HaskellLicense:Apache-2.0Stargazers:585Issues:0Issues:0

servant-persistent

A brief example of Servant with Persistent

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

vueper-slides

A touch ready and responsive slideshow / carousel for Vue 2 & 3.

Language:VueLicense:MITStargazers:564Issues:0Issues:0

goat

Godot Open Adventure Template (GOAT) is a tool for making 3D adventure games.

Language:GDScriptLicense:MITStargazers:364Issues:0Issues:0

up-to-date-real-world-haskell

I'm trying to update the Real World Haskell book

Language:PythonLicense:NOASSERTIONStargazers:790Issues:0Issues:0

spacelift

Functional utils for Arrays, Objects, Maps, Sets.

Language:TypeScriptLicense:MITStargazers:141Issues:0Issues:0

cake-slayer

🍰🔪 Architecture of Haskell backend applications

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

s3fs-fuse

FUSE-based file system backed by Amazon S3

Language:C++License:GPL-2.0Stargazers:8331Issues:0Issues:0

airtable.py

Python interface to the Airtable's REST API

Language:PythonLicense:MITStargazers:258Issues:0Issues:0
Language:ShellLicense:GPL-2.0Stargazers:152Issues:0Issues:0

haskell-trainings

Haskell 101 and 102: slides and codelabs

Language:HaskellLicense:Apache-2.0Stargazers:1378Issues:0Issues:0

scala3

The Scala 3 compiler, also known as Dotty.

Language:ScalaLicense:Apache-2.0Stargazers:5732Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10859Issues:0Issues:0

haskell

Haskell bindings for TensorFlow

Language:HaskellLicense:Apache-2.0Stargazers:1568Issues:0Issues:0

eta

The Eta Programming Language, a dialect of Haskell on the JVM

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

distributed-process

Cloud Haskell core library

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

http4s

A minimal, idiomatic Scala interface for HTTP

Language:ScalaLicense:Apache-2.0Stargazers:2526Issues:0Issues:0