cdepillabout Goto Github PK

coqplayground

course-v3

The 3rd edition of course.fast.ai

coursera

solutions to coursera courses

cps-vs-codensity-vs-reflection-without-remorse

Example code showing the difference between CPS, codensity, and reflection without remorse styles in Haskell

ctf

Notes about problems I could not solve from CTFs.

dagless

A monadic interface for DAG construction.

daimust

ddump-splices-test

deep-learning-from-scratch

『ゼロから作る Deep Learning』のリポジトリ

dependent-walrus

dhall-haskell

Maintainable configuration files

dict-scrape

A web scraper that gets information from yahoo.co.jp's japanese dictionaries

do-notation

:m: generalized do-notation for monads and indexed monads

docs

My dot files.

documentation

Documentation for the PureScript language, compiler, and tools.

ebmodule

Python wrapper for EPWING library eb

ebstuff

Various projects using the eb library for accessing epwing dictionaries

ede

Templating language with similar syntax and features to Liquid or Jinja2.

electron-quick-start

Clone to try a simple Electron app

emailaddress

Wrapper around email-validate adding new non-orphaned instances to EmailAddress

envelope

Envelope type used to return responses from a JSON API for Haskell

epywing

Simple EPWING lib for Python

erlang_programming

This is the example code repository for Erlang Programming by Francesco Cesarini and Simon Thompson (O'Reilly Media)

essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework

example-dhall-nix

example-dhall-repo

Just a few example dhall files.

example-functional-compiler

example-html-form

example html form

examples

All the examples in Real World OCaml

exercism

My solutions to problems on exercism.io