maniatic0 / Programas-USBLinks
Traducción Personal a Inglés de los Programas de Computación USB
☆16Updated 2 years ago
Alternatives and similar repositories for Programas-USB
Users that are interested in Programas-USB are comparing it to the libraries listed below
Sorting:
- Fire Link es un lenguaje de programación basado en el lore de la serie de videojuegos Dark Souls, diseñado para la cadena de electivas de…☆11Updated 5 years ago
- 🌜 A functional, dynamic programming language☆12Updated 3 years ago
- The Happy parser generator for Haskell☆316Updated 4 months ago
- ☆83Updated last year
- A lexical analyser generator for Haskell☆315Updated last week
- Exercism exercises in Haskell.☆518Updated 3 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆684Updated 3 weeks ago
- Simple telegram node bot with a few funny commands☆13Updated 3 years ago
- A bittorrent client, for learning purposes☆108Updated 6 years ago
- A gently curated list of companies using Haskell in industry☆982Updated 2 months ago
- Standard library for linear types in Haskell.☆352Updated 3 weeks ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆386Updated 2 years ago
- Extension de chrome que transforma tu Kardex (boleta del IPN en el SAES) a un "unofficial transcript" en formato de PDF en ingles.☆17Updated 3 years ago
- NullPointerExceptions in Haskell☆58Updated 8 years ago
- My slides and compilation of resources.☆157Updated last year
- Collections of papers and books about Haskell, Type Theory and Category Theory☆165Updated 4 years ago
- ☆76Updated 3 years ago
- Declarative GTK+ programming in Haskell☆291Updated 2 years ago
- lowlevel set of cryptographic primitives for haskell☆228Updated 2 years ago
- A friendly effect system for Haskell☆235Updated last year
- Awesome list of Cuban opensource projects. Just to know what is being openly developed in Cuba.☆191Updated last year
- A list of resources mentioned in corecursive, or in the corecursive slack channel☆24Updated 4 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆731Updated last week
- 🌋 Endless runner game☆196Updated 3 years ago
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆227Updated 10 months ago
- Architecture of the Haskell web applications☆313Updated 4 years ago
- A demo web browser engine written in Haskell☆280Updated 6 years ago
- Examples of Dependently-typed programs in Haskell☆307Updated 3 years ago
- A package index for the Haskell ecosystem☆148Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆560Updated 2 years ago