KripkesBeard

KripkesBeard's Stars

• jespercockx/agda-core

  A work-in-progress core language for Agda, in Agda

  Language:Agda413

• Carnap/Carnap

  A formal logic framework that runs in the browser

  Language:Haskell27328

• schar/PLAground

  Online or command-line calculator for Predicate Logic with Anaphora

  Language:Haskell1

• lsmor/snake-fury

  a challenge for Haskell beginners

  Language:Haskell44137

• DSLsofMath/DSLsofMath

  Domain-Specific Languages of Mathematics

  Language:Haskell41950

• sdiehl/wiwinwlh

  What I Wish I Knew When Learning Haskell

  Language:Haskell2.6k243

• cb125/lambda

  Programming language theory for linguistics and philosophers of language

  41

• dmjio/ext-stg-interpreter-talk

  Presentation on the external STG interpreter from Csaba Hruska

  9

• HoTT-Intro/Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  Language:Agda1235

• sagemath/sage

  Main repository of SageMath

  Language:Python1.5k488

• LambdaHack/LambdaHack

  Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

  Language:Haskell62555

• reubenharry/haskell-docs

  Language:Haskell597

• LogicalAtomist/principia

  The Principia Rewrite

  Language:TeX2085

• walck/learn-physics

  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.

  Language:Haskell17516

• newca12/haskell-atp

  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell

  Language:Haskell82

• serras/zurihac-workshop

  A bit of DSLs, a bit of I/O

  Language:HTML162

• agda/agda-stdlib

  The Agda standard library

  Language:Agda584239

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda459141

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda22371

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda35070

• Crypto-Cat/CTF

  CTF chall write-ups, files, scripts etc (trying to be more organised LOL)

  Language:Python1.7k359

• BowenFu/hspp

  hspp: An experimental library to bring Haskell Style Programming to C++.

  Language:C++164

• TikhonJelvis/Simple-Prolog

  A simple Prolog interpreter

  Language:Haskell431

• andrejbauer/notes-on-realizability

  Lecture notes on realizability

  Language:TeX654

• reubenharry/natural-language

  Language:Haskell2

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28969

• jespercockx/agda2scheme

  Compiler backend for generating Scheme code

  Language:Haskell264

• goldfirere/cs380

  Public copy of repo used to run my CS 380 course at Bryn Mawr College

  Language:Haskell7

• cb125/Scoreboards

  Seminar with Barker, Camp, and Egan: Keeping track of conversations: Scoreboards, Semantics and Psychology

  51

• TrinityCore/TrinityCore

  TrinityCore Open Source MMO Framework (master = 11.0.5.57689, 3.3.5 = 3.3.5a.12340, cata classic = 4.4.1.57564)

  Language:C++9.6k6.1k