Gaga's repositories
ebresafegaga.github.io
ebresafegaga.github.io
cryptarith
Solving crypt-arithmetic problems in Racket
littletyper
Some code samples from the book "The Little Typer"
docs
This repository contains .NET Documentation.
FPOP
Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286
fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
fsharp-codespace-test
Testing GitHub codespaces with F#
libra
LLVM IR Bindings for Rust-based Analyzers
lsp-mode
Emacs client/library for the Language Server Protocol
mehir-error-messages
Just a repo to learn how to generate error messages from the OCaml LR parser generator menhir
mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
ocaml
The core OCaml system: compilers, runtime system, base libraries
simple-graphics
Implementation of simple computer graphics algorithms
TheViewFromTheLeft
View patterns in Idris