ebresafegaga

Pinned Repositories

AlgorithmW
Hindley-Milner type inference "Algorithm W" in Haskell
Language:Haskell1 1 00
aoc
Advent of Code
Language:OCaml1 1 01
Arg.fs
A simple Command Line argument parser in F#
Language:F#2 1 00
cryptarith
Solving crypt-arithmetic problems in Racket
Language:Racket0 1 00
Libmacs
A simple linear algebra library. It also has other mathematical functions such as Calculus, Surds, Complex Numbers, and Partial Fractions.
Language:C#3 1 00
littletyper
Some code samples from the book "The Little Typer"
Language:Racket0 1 00
mini
A mini ML like language to be used to in a simple calculator
Language:F#2 1 20
oii
No really, Ocaml is Idris
Language:OCaml5 1 00
patterns
A workbench for pattern matching exploration
Language:Rust2 1 00
tina
Tina, a programming language with typed algebraic effects and handlers.
Language:OCaml12 1 01

ebresafegaga's Repositories

ebresafegaga/tina
Tina, a programming language with typed algebraic effects and handlers.
Language:OCaml12 1 01
ebresafegaga/oii
No really, Ocaml is Idris
Language:OCaml5 1 00
ebresafegaga/mini
A mini ML like language to be used to in a simple calculator
Language:F#2 1 20
ebresafegaga/patterns
A workbench for pattern matching exploration
Language:Rust2 1 00
ebresafegaga/aoc
Advent of Code
Language:OCaml1 1 01
ebresafegaga/btc
A programming language with a bidirectional type checker
Language:Rust1 1 0
ebresafegaga/ebresafegaga.github.io
ebresafegaga.github.io
Language:HTML1 1 00
ebresafegaga/miniarm
A simple arm emulator
Language:OCaml1 1 21
ebresafegaga/cryptarith
Solving crypt-arithmetic problems in Racket
Language:Racket0 1 00
ebresafegaga/littletyper
Some code samples from the book "The Little Typer"
Language:Racket0 1 00
ebresafegaga/aoc2020
Advent of Code 2020 in Racket
Language:Racket1 0
ebresafegaga/csc415
Breast Cancer Expert System
Language:Jupyter Notebook1 0
ebresafegaga/delim
A programming language that gives you control.
Language:OCaml1 0
ebresafegaga/docs
This repository contains .NET Documentation.
Language:PowerShell0 0
ebresafegaga/emacs.d
emacs configuration
Language:Emacs Lisp1 0
ebresafegaga/FPOP
Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286
Language:Coq0 0
ebresafegaga/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Language:F#0 0
ebresafegaga/fsharp-codespace-test
Testing GitHub codespaces with F#
Language:Shell1 0
ebresafegaga/learner
The Little Learner
Language:Racket1 0
ebresafegaga/libra
LLVM IR Bindings for Rust-based Analyzers
Language:Rust0 0
ebresafegaga/lsp-mode
Emacs client/library for the Language Server Protocol
Language:Emacs Lisp0 0
ebresafegaga/mehir-error-messages
Just a repo to learn how to generate error messages from the OCaml LR parser generator menhir
Language:OCaml1 0
ebresafegaga/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCaml0 0
ebresafegaga/nixpkgs
Nix Packages collection & NixOS
Language:Nix1 0
ebresafegaga/numerical
Numerical Analysis using a simple algebraic language
Language:OCaml1 0
ebresafegaga/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml0 0
ebresafegaga/simple-graphics
Implementation of simple computer graphics algorithms
Language:Jupyter Notebook1 0
ebresafegaga/systemf
System Fω as a Racket #lang
Language:Racket1 0
ebresafegaga/TheViewFromTheLeft
View patterns in Idris
Language:Idris1 0
ebresafegaga/zipper
"The Zipper" data structure in F# and a Labyrinth game based on it.
Language:F#1 0