Skip to content
View kephas's full-sized avatar
  • AUTOGRIFF
  • Strasbourg, France
  • X @kephasp

Block or report kephas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

WIP implementation of a Haskell-like Lisp in Racket

Racket 1,165 50 Updated Apr 14, 2024

master thesis

C++ 621 145 Updated Jun 19, 2020

transcripts and captions for 3blue1brown videos

TypeScript 241 168 Updated Jun 26, 2024

Simple shell like scripting from Haskell

Haskell 268 10 Updated Aug 17, 2024

A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

HTML 317 39 Updated Sep 20, 2024

A curated list of awesome CQRS and Event Sourcing things

324 26 Updated Nov 22, 2022

General planning and documentation repository for the OCapN protocol suite for distributed networked objects

162 12 Updated Oct 8, 2024

A post-apocalyptic actionRPG. Now on Steam!

Common Lisp 628 30 Updated Oct 26, 2024

A functional, relational database in about 250 lines of Common Lisp

Common Lisp 402 30 Updated Dec 15, 2014

A gently curated list of companies using Haskell in industry

943 139 Updated Oct 31, 2024

being the teaching materials and exercises for CS410 in the 2018/19 session

Agda 56 4 Updated Apr 15, 2019

Boilerplate setup to make a web-browser extension with Elm

JavaScript 4 Updated Jan 3, 2021

Terminal Emulator written in 100% Haskell

Haskell 67 2 Updated Feb 17, 2022

Generate Algebraic Data Types and pattern matchers

TypeScript 316 13 Updated Mar 5, 2023

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

29,118 18,393 Updated Jun 10, 2023

Elm 0.19.1, Webpack 5 & Tailwind

JavaScript 343 39 Updated Mar 10, 2024

Bug reports for Docker Desktop for Windows

1,862 290 Updated May 12, 2024

A Common Lisp and Ruby FFI

Common Lisp 12 Updated Feb 21, 2019

A curated collection of awesome resources for the zero-trust security model.

732 79 Updated Dec 9, 2022

Un petit jeu narratif minimaliste crée lors d'une retraite spirituelle

Vue 4 Updated Feb 6, 2019

Open source code for Arbital

JavaScript 14 1 Updated Aug 8, 2018

a visual programming language inspired by Scratch

JavaScript 1,510 745 Updated Nov 5, 2024

Optimized Pattern Matching Library for Common Lisp

Common Lisp 271 19 Updated Apr 11, 2018

Randomized specification-based testing for Common Lisp. Available through Quicklisp.

Common Lisp 51 10 Updated Sep 5, 2020

An oath for programmers, comparable to the Hippocratic Oath

724 138 Updated Oct 3, 2024

Awesome Object Capabilities and Capability Security

345 25 Updated Apr 4, 2024

Less Wrong Sequences

5 1 Updated Dec 13, 2018

Streamlined edition of SBCL Heroku buildpack

Common Lisp 3 1 Updated May 3, 2019

Super micro framework for Common Lisp

Common Lisp 277 25 Updated Apr 30, 2024

Web server abstraction layer for Common Lisp

Common Lisp 1,054 86 Updated Nov 1, 2024
Next