Azel4231/spec-dependent-types Azel4231/spec-dependent-types

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Clojure
  • License
    MIT License
  • Created about 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Azel4231/spec-dependent-types
github

Azel4231

Reviews

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

Repository Details

Modelling dependent types with clojure.spec

More Repositories

1

clojure-quotes

My favorite Clojure quotes
Clojure
104
star
2

dsui

A Clojure tool for displaying arbitrary nested data structures using swing.
Clojure
26
star
3

scad-keyboards

Clojure Code for generating keyboards in openSCAD.
OpenSCAD
4
star
4

zmk-config

ZMK Config for my custom keyboard
C
3
star
5

parser-with-spec

A one hour toy project to see how much parser combinator there is in clojure.spec
Clojure
1
star
6

muc-codingdojo-queens

Solving the eight queens puzzle
Clojure
1
star