nachivpn Goto Github PK

apple-pie

Problems/Algorithms/Puzzles

attendance-management-system

For NITC

bufferedis

An asynchronous write buffer for Redis using Jedis client

cat

Category theory proofs in Agda

cbv

Matters of Call-by-value

cc

Fiddling around with Categorical Combinators

chalmerssecurity

temporal storage while re-designing a new page

coherence

Proof of coherence for the initial CCC

dat037-2018-exercises

http://www.cse.chalmers.se/edu/year/2018/course/DAT037_Datastrukturer/

drogon

User agent string parser using ANTLR

eh

Everything Haskell

embedding-by-normalisation

Supporting Material for the paper "Embedding-By-Normalisation"

expelim

Exponential Elimination for Categorical Combinators

fade-client-py

fade-server

fam

(Strong) Functors as Modalities

fj

Functional Java - WTF or FTW?

fop-nitc

Foundations of Programming lab at NITC

gluetn

Normalization for Gödel's system T using a glueing model construction

grest

Stateless REPL utility to run gremlin queries over HTTP on Neo4j

ipl

Agda formalization of Intuitionistic Propositional Logic

jbci

A small Java byte code interpreter in Haskell

jedis

+ thread safe jedis client

k

Meta-theory and normalization for Fitch-style modal lambda calculi

lanimret

Some experimental shell scripts

latex-biblio

lazy-lambda

Formalization of a lazy lambda calculus semantics

mod-mongo-persistor

MongoDB Module

molr-core

A task delegation framework. Migrated to https://github.com/molr/molr-remote

mongo-monkey

Wrapper for mongodb's java driver