samer--

Pinned Repositories

autodiff
Multilingual experiments in automatic differentiation
Language:TeX1 2 01
babbler
Randomly sampling vaguely grammatical nonsense since 2009
Language:Prolog1 2 00
ccprism
Probabilistic programming in SWI Prolog using delimited continuations
Language:Prolog3 2 01
cctable
Tabling in SWI Prolog using delimited continuations
Language:Prolog1 2 01
cpsmemo
Pure functional, monadic, nondeterministic memoisation, using delimited control in OCaml
Language:Haskell4 3 00
moby
Corrected versions of Moby lexical database
Language:Roff2 2 00
pljulia
Embedded Julia for SWI Prolog
Language:C6 2 11
plmidi
Access to Mac OS X MIDI input and output
Language:C3 2 02
prolog
Prolog stuff
Language:Prolog26 7 38

samer--'s Repositories

samer--/prolog
Prolog stuff
Language:Prolog26 7 38
samer--/pljulia
Embedded Julia for SWI Prolog
Language:C6 2 11
samer--/cpsmemo
Pure functional, monadic, nondeterministic memoisation, using delimited control in OCaml
Language:Haskell4 3 00
samer--/ccprism
Probabilistic programming in SWI Prolog using delimited continuations
Language:Prolog3 2 01
samer--/plmidi
Access to Mac OS X MIDI input and output
Language:C3 2 02
samer--/moby
Corrected versions of Moby lexical database
Language:Roff2 2 00
samer--/autodiff
Multilingual experiments in automatic differentiation
Language:TeX1 2 01
samer--/babbler
Randomly sampling vaguely grammatical nonsense since 2009
Language:Prolog1 2 00
samer--/cctable
Tabling in SWI Prolog using delimited continuations
Language:Prolog1 2 01
samer--/parscan
Investigation of parallel(isable) scans
Language:Haskell1 1 0
samer--/pha
Probabilistic Horn Abduction
Language:Prolog1 2 11
samer--/plsmf
SWI Prolog library for reading standard MIDI files
Language:C1 2 01
samer--/prism
Allows SWI Prolog to drive an instance of the PRISM probabilistic programming system.
Language:Prolog1 2 01
samer--/bbc
Tools for working with BBC content and metadata
Language:Prolog2 0
samer--/ClioPatria
ClioPatria provides an RDF application platform
Language:Prolog2 0
samer--/dotfiles
Dot files
Language:Vim Script2 0
samer--/gr
GR framework: a graphics library for visualisation applications
Language:C2 0
samer--/isearch
Incremental (facetted) search for ClioPatria
Language:Prolog2 0
samer--/lwt
OCaml promises and concurrent I/O
Language:OCaml0 0
samer--/ocaml
Miscellaneous OCaml stuff
Language:OCaml1 0
samer--/ocaml-lz4
OCaml bindings for LZ4, a very fast lossless compression algorithm
Language:OCaml0 0
samer--/packages-archive
Interface to libarchive
Language:C2 0
samer--/packages-sgml
The SWI-Prolog SGML/XML/HTML parser
Language:C2 0
samer--/plgl
SWI Prolog bindings to OpenGL
Language:Prolog2 01
samer--/plml
Prolog-Matlab bridge for SWI Prolog
Language:Prolog3 01
samer--/plosc
OSC client and server for SWI Prolog
Language:C2 01
samer--/Plots.jl
Powerful convenience for Julia visualizations and data analysis
Language:Julia2 0
samer--/plrand
Language:C2 0
samer--/sampledcg
A random sampling DCG meta-interpreter
Language:Prolog2 01
samer--/swipl-devel
Main development repository
Language:C2 0