frenchy64/papers frenchy64/papers

  • Stars
    star
    1
  • Language
    TeX
  • Created about 12 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
frenchy64/papers
github

frenchy64

Reviews

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

Repository Details

More Repositories

1

Logic-Starter

Starter Project for Introduction to Logic Programming with Clojure
Clojure
220
star
2

typed-clojure

DEPRECATED SEE BELOW Gradual typing for Clojure
Clojure
208
star
3

dynalint

Lint your Clojure programs as they run
Clojure
72
star
4

analyze

Interface to Clojure's Analyzer
Clojure
70
star
5

fully-satisfies

Utility functions for Clojure.
Clojure
47
star
6

optimized-kw-maps

Exploration of Hash Array Mapped Tries.
TeX
38
star
7

typed-clojurescript-play

Playground for Typed Clojurescript
Clojure
20
star
8

typescript-parser

TypeScript type declaration parser
TypeScript
9
star
9

stream-fusion

Racket
9
star
10

dependabot-lein-via-mvn

Only slightly janky dependabot support for Leiningen
Shell
8
star
11

dependabot-clojure-cli-via-mvn

Only slightly janky dependabot support for Clojure CLI
Shell
6
star
12

dissertation

TeX
5
star
13

lein-dynalint

Leiningen plugin for Dynalint
Clojure
5
star
14

clojure-local-dev

A pull-request based workflow for developing and submitting Clojure patches to Jira.
Shell
5
star
15

spec-play

Clojure
4
star
16

lti-model

Clojure
4
star
17

stl2014

Code examples for Strangeloop 2014 Typed Clojure in Practice
Clojure
4
star
18

compose-talk-2019

HTML
3
star
19

contract.typed

Boston Clojure Group presentation
Clojure
2
star
20

c-project-template

Template for a C project that uses Valgrind, a small unit testing framework and a small debugging framework.
C
2
star
21

thesis-proposal

TeX
2
star
22

criterium-from-java

Use Clojure's criterium benchmarking library from other JVM languages
Java
2
star
23

instrument-defprotocol

Utilities to wrap defprotocol.
Clojure
2
star
24

toronto-2014

Clojure
1
star
25

bench-update

Clojure
1
star
26

ambrosebs-reaper-scripts

Lua
1
star
27

dynamic-inference-bib

1
star