Giters
fmap

fmap

Geek Repo

45

followers

19

following

301

stars

Location:0.0.0.0/0

Home Page:https://gist.github.com/fmap

Github PK Tool:Github PK Tool

Organizations
fmap-archive
fmapfmapfmap

fmap's starred repositories

tis-100

My solutions to TIS-100 problems

Stargazers:2Issues:0Issues:0

GCBP

Gordon Complementary Bijection Principle

Language:TeXStargazers:3Issues:0Issues:0

plzoo

Programming Languages Zoo

Language:OCamlLicense:MITStargazers:1441Issues:0Issues:0

ProofRenderer

Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.

Language:JavaLicense:GPL-3.0Stargazers:4Issues:0Issues:0

flamescope

FlameScope is a visualization tool for exploring different time ranges as Flame Graphs.

Language:PythonLicense:Apache-2.0Stargazers:2994Issues:0Issues:0

library

Library of the ##dependent distributed research support group

Language:TeXStargazers:108Issues:0Issues:0

agda-base

Base library for HoTT in Agda

Language:AgdaLicense:BSD-3-ClauseStargazers:35Issues:0Issues:0

technologytimeseries_forecasting

Language:Jupyter NotebookStargazers:3Issues:0Issues:0

ixy

A simple yet fast user space network driver for Intel 10 Gbit/s NICs written from scratch

Language:CLicense:BSD-3-ClauseStargazers:1154Issues:0Issues:0

ReverseTraceroutePublicOld

Public repository for Reverse Traceroute code

Language:GoLicense:NOASSERTIONStargazers:8Issues:0Issues:0

mininet

Emulator for rapid prototyping of Software Defined Networks

Language:PythonLicense:BSD-3-ClauseStargazers:5280Issues:0Issues:0

maybe

:open_file_folder: :rabbit2: :tophat: See what a program does before deciding whether you really want it to happen (NO LONGER MAINTAINED)

Language:PythonStargazers:6357Issues:0Issues:0

modern-irc

A useful overview and reference to the IRC client protocol as it is implemented today.

Language:SassLicense:NOASSERTIONStargazers:191Issues:0Issues:0

popl2018-papers

Link to preprints for POPL'18 and colocated events

Stargazers:87Issues:0Issues:0

latex-commenting

A LaTeX package for commenting multi-author documents

Language:TeXStargazers:9Issues:0Issues:0

coloremoji.sty

Style package for directly including color emojis in latex documents

Language:TeXStargazers:218Issues:0Issues:0

LaTeX-Note-Importer-for-Anki

Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.

Language:PythonLicense:AGPL-3.0Stargazers:31Issues:0Issues:0

tikzcd-editor

A simple visual editor for creating commutative diagrams.

Language:JavaScriptLicense:MITStargazers:1867Issues:0Issues:0

category-studygroup

Language:TeXStargazers:8Issues:0Issues:0

total-fp

Total functional programming (ESFP) literature

Stargazers:186Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1343Issues:0Issues:0

tezoscoq

working with coq and tezos

Language:CoqStargazers:28Issues:0Issues:0

dot-emacs

My .emacs.el file and other personal Emacs goodies

Language:Emacs LispStargazers:663Issues:0Issues:0

org-capture-extension

A Chrome and firefox extension facilitating org-capture in emacs

Language:JavaScriptLicense:MITStargazers:533Issues:0Issues:0

GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence

Language:TeXStargazers:435Issues:0Issues:0

agda-holes

Agda programming with holes

Language:AgdaLicense:MITStargazers:26Issues:0Issues:0

FLABloM

Functional Linear Algebra with Block Matrices

Language:AgdaStargazers:9Issues:0Issues:0

alga-paper

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

Language:TeXStargazers:191Issues:0Issues:0

ValiantAgda

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

Language:AgdaLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

tagsoup-lens

optics for the tagsoup HTML parsing library

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:0Issues:0