Beast code in Giters

Gaga's repositories

tina

Tina, a programming language with typed algebraic effects and handlers.

Language:OCamlMIT9 10

oii

No really, Ocaml is Idris

Language:OCamlMIT5 10

mini

A mini ML like language to be used to in a simple calculator

Language:F#MIT2 1 2

patterns

A workbench for pattern matching exploration

Language:Rust2 10

aoc

Advent of Code

Language:OCaml1 10

btc

A programming language with a bidirectional type checker

Language:Rust1 10

ebresafegaga.github.io

Language:HTML1 10

miniarm

A simple arm emulator

Language:OCamlMIT1 1 2

cryptarith

Solving crypt-arithmetic problems in Racket

Language:RacketMIT010

littletyper

Some code samples from the book "The Little Typer"

Language:RacketMIT010

aoc2020

Advent of Code 2020 in Racket

Language:Racket010

csc415

Breast Cancer Expert System

Language:Jupyter Notebook010

delim

A programming language that gives you control.

Language:OCaml010

docs

This repository contains .NET Documentation.

Language:PowerShellCC-BY-4.0000

emacs.d

emacs configuration

Language:Emacs Lisp010

FPOP

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

Language:CoqMIT000

fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Language:F#MIT000

fsharp-codespace-test

Testing GitHub codespaces with F#

Language:ShellMIT010

hm

A Little language for playing with Hindley-Milner type inference

Language:Racket010

learner

The Little Learner

Language:Racket010

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispGPL-3.0000

mehir-error-messages

Just a repo to learn how to generate error messages from the OCaml LR parser generator menhir

Language:OCaml010

mina

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

Language:OCamlApache-2.0000

nixpkgs

Nix Packages collection & NixOS

Language:NixMIT010

numerical

Numerical Analysis using a simple algebraic language

Language:OCamlMIT010

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION000

simple-graphics

Implementation of simple computer graphics algorithms

Language:Jupyter Notebook010

systemf

System Fω as a Racket #lang

Language:Racket010

TheViewFromTheLeft

View patterns in Idris

Language:Idris010

zipper

"The Zipper" data structure in F# and a Labyrinth game based on it.

Language:F#MIT010