Giters
Frederic Peschanski (fredokun)

fredokun

Geek Repo

83

followers

1

following

75

stars

Company:Sorbonne University

Location:Paris, France

Home Page:http://lip6.fr/Frederic.Peschanski

Github PK Tool:Github PK Tool

Frederic Peschanski's repositories

cl-jupyter

An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:196Issues:26Issues:36

TikZ-Editor

TikZ Editor is a free code editor for the LaTeX graphic package TikZ.

Language:PythonLicense:GPL-2.0Stargazers:178Issues:21Issues:13

lisp-list-comprehensions

Two macros for list comprehensions in lisp

Language:Common LispLicense:NOASSERTIONStargazers:33Issues:6Issues:0

arbogen

a fast uniform random tree generator

Language:OCamlLicense:GPL-2.0Stargazers:30Issues:7Issues:9

lisp-lazy-seq

Lazy sequences in Common Lisp

Language:Common LispLicense:MITStargazers:7Issues:4Issues:0

yaw

Live coding a (simple) 3D World

Language:JavaLicense:MITStargazers:5Issues:4Issues:1

talk-clojureD-2018

My talk at ClojureD 2018: DIY fast random generation of structured data

Language:HTMLLicense:MITStargazers:4Issues:4Issues:2

clj-by-example

Self-testing examples in your clojure code

Language:ClojureLicense:EPL-1.0Stargazers:2Issues:3Issues:0

LuaPi

LuaPi : Concurrent Programming (in Lua) made simple

Language:LuaLicense:NOASSERTIONStargazers:2Issues:2Issues:0

lumber

All things Clojure about trees

Language:ClojureLicense:MITStargazers:2Issues:3Issues:0

modelo

When formal methods meet Clojure (and vice-versa)

Language:ClojureLicense:MITStargazers:2Issues:0Issues:0

piexplorer

A state-space exploration and analysis tool for the pi-calculus.

Language:HaskellLicense:GPL-3.0Stargazers:2Issues:4Issues:0

rescribe

Rewrite systems in Clojure

Language:ClojureLicense:MITStargazers:2Issues:3Issues:0

think-concurrent

A book project about concurrent programming in clojure/core.async

Language:ClojureLicense:NOASSERTIONStargazers:2Issues:5Issues:0

boxed

Structured editing on the web

Language:CoffeeScriptStargazers:1Issues:4Issues:0

libpiccolort

multithreaded runtime environment for the pi compiler

Language:CLicense:MITStargazers:1Issues:4Issues:0

melts

Minimalistic Explorer for Labelled Transition Systems

Language:RustLicense:MITStargazers:1Issues:0Issues:0

arbogen2

A fast uniform random tree generator

Language:RustLicense:GPL-3.0Stargazers:0Issues:3Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:3Issues:0

edge

Edge is an editor mode generator

License:GPL-3.0Stargazers:0Issues:0Issues:0

fredokun.github.io

Language:CSSLicense:NOASSERTIONStargazers:0Issues:3Issues:0

iocaml

An OCaml kernel for the IPython notebook

Language:OCamlLicense:MITStargazers:0Issues:3Issues:0

jmonkeyengine

A complete 3D game development suite written purely in Java.

Language:JavaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

live-code-talks

An Emacs package to highlight special comments for in-buffer slide-shows.

Language:Emacs LispStargazers:0Issues:3Issues:0

markdownize

A totally stupid and absolutely indispensable script for converting source files to markdown documents

Language:PythonLicense:MITStargazers:0Issues:3Issues:0

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

Stargazers:0Issues:0Issues:0

pipromela

PiPromela : open reconfigurable systems in Promela

License:MITStargazers:0Issues:3Issues:0

rustegrator

A research prototype for multivariate integration

Language:RustLicense:MITStargazers:0Issues:1Issues:0

syntax-highlighting

Syntax highlighting Engine for Structured Text and Code.

Stargazers:0Issues:0Issues:0

white-city

Network layer for MPC (Secure Multi-Party Computation) protocols

Language:RustLicense:GPL-3.0Stargazers:0Issues:3Issues:0