fedelebron / algo3Links
Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.
☆30Updated 3 weeks ago
Alternatives and similar repositories for algo3
Users that are interested in algo3 are comparing it to the libraries listed below
Sorting:
- Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…☆17Updated 5 months ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- A Haskell library making it easier to write Alex lexers.☆12Updated 3 months ago
- ☆16Updated 4 years ago
- Web frontend for GHC☆12Updated 6 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Updated 9 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 7 years ago
- Functor-parametric containers☆20Updated 11 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- Haskell bindings for the FUSE library☆27Updated last year
- ☆17Updated 7 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- Bindings to Instagram's API☆11Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Updated last year
- ☆16Updated 5 months ago
- Clases de la materia de Técnicas Avanzadas de Programación☆23Updated 2 months ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Updated 8 years ago
- Record and play the results of monadic actions☆13Updated 7 years ago
- Bindings to libsodium for Haskell☆39Updated last week
- Single Page Web Applications in Idris☆25Updated last month
- Runtime compilation and invocation of C.☆10Updated 6 years ago
- The Str signature and implementations☆21Updated 8 years ago
- Haskell interval collections☆17Updated 8 months ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 7 years ago
- Authenticated Data Structures☆16Updated 10 years ago
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 5 years ago
- A command-line tool for live monitoring☆25Updated last week
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Updated 3 years ago