melwyn95/learn-idris

Stars
3
Rank 3,967,023 (Top 79 %)
Language Idris
Created almost 4 years ago
Updated over 3 years ago

melwyn95/learn-idris

melwyn95

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Notes & Exercise solutions of TDD with Idris

streaming-json-parser

A learning experiment about streaming json parser

HashingAlgorithms

Trie-ReasonML

ReasonML-ReasonReact demo

recursive-iframes

learn-ocaml

Solutions to https://ocaml-sf.org/learn-ocaml-public/#

Hackerrank-Problems

Hackerrank Problems

code-generator

slides and code examples for talk on code generators in Go

reason-snippets

My scratch pad for trying out stuff

js_pretty_printer

JS pretty printer written in Reason

SudokuSolver

A Sudoku Solver written in Go

json-diff-snippets

A template to implement your own json-diff

aoc2022

Solving Advent of Code puzzles

toy-compiler

Working through the book "Compiling to Assembly from Scratch"

js_of_bf

WIP: BrainF*ck to JS compiler

FA2

FA2 - ligo contract

project-euler

My soultions to PE(https://projecteuler.net) problems

Advent-of-Code

Advent of Code solutions https://adventofcode.com/

ppx_scratchpad

My ppx scratchpad

ImageProcessingDemo

A demo Image Processing app using distributed architecture

esy-core-kernel

Build https://github.com/janestreet/core_kernel/ using esy

Notas

A notes app using indexed-db

whitespace

A WIP Whitespace Interpreter

esy-extra-sources-cache-tarball-test

core-command-test