jdevuyst/termcat jdevuyst/termcat

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Clojure
  • Created about 11 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jdevuyst/termcat
github

jdevuyst

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Termcat is a markup language for scientific and technical writing.

More Repositories

1

comprehend

Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.
Clojure
72
star
2

ruminant

Swift persistent vectors Γ  la Clojure
Swift
37
star
3

fletching-macros

Clojure macros that complement the clojure.core threading (arrow) macros
Clojure
33
star
4

rekenaar

Idris tactics for (commutative) monoids
Idris
20
star
5

dependable-data-structures

Experiments in implementing functional data structures in Idris
Idris
14
star
6

kripke

Clojure library for constructing and manipulating sequences of similar structures
Clojure
13
star
7

tableaux

Tableau-based theorem prover for public announcement logic
Clojure
6
star
8

dustpan

Swift mark-and-sweep garbage collector
Swift
3
star