Runnable examples for Typed Clojure paper
☆11Jul 2, 2015Updated 10 years ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Dec 21, 2015Updated 10 years ago
- Clojurescript/Node/Reagent/Lambda Example Application☆17Aug 9, 2015Updated 10 years ago
- Library for using Prismatic's Graph in large system composition... basically Graph + Lifecycle☆41Sep 24, 2015Updated 10 years ago
- Lint your Clojure programs as they run☆74Mar 9, 2024Updated last year
- Tool for code reviewing in emacs' magit. Like magit-wazzup, but more powerful.☆22May 11, 2013Updated 12 years ago
- tie two trees together to track a transformation☆27Jul 30, 2015Updated 10 years ago
- 1Password on the command line.☆48Mar 12, 2013Updated 12 years ago
- Read and write EDN from Elisp☆47Oct 9, 2020Updated 5 years ago
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Aug 2, 2022Updated 3 years ago
- A Pebble application written in rust☆32Aug 21, 2014Updated 11 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Oct 25, 2016Updated 9 years ago
- An OCaml implementation of Rx Observables☆33Feb 20, 2019Updated 7 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆67Dec 16, 2022Updated 3 years ago
- ☆28May 7, 2015Updated 10 years ago
- The zenburn color theme for GNU Emacs☆39Oct 3, 2011Updated 14 years ago
- A generic Om component to handle inputs☆26Oct 15, 2015Updated 10 years ago
- ☆26Nov 19, 2015Updated 10 years ago
- It's an simple django project for django beginners. It's cover all the django basic such as views, models, urls etc.☆11Oct 8, 2020Updated 5 years ago
- In the spec table☆70Aug 7, 2017Updated 8 years ago
- A.I. puzzle experiment based on pacman ghosts☆32Feb 13, 2018Updated 8 years ago
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years ago
- Good tags for a good day!☆30Dec 22, 2017Updated 8 years ago
- ☆37Updated this week
- A Clojure linter that enforces end-of-file newlines.☆11Jul 4, 2019Updated 6 years ago
- A powerful, easy to use and intuitive way to create network analysis charts☆15Updated this week
- ☆10Jun 16, 2021Updated 4 years ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- A plugin for configuring, co-ordinating and reloading Components☆68Aug 18, 2018Updated 7 years ago
- OCaml IRC client library☆52Jun 30, 2023Updated 2 years ago
- Repo for hands-on held on 19/04/28.☆10May 1, 2019Updated 6 years ago
- ☆12Apr 4, 2019Updated 6 years ago
- Blocks graphs in blueprints to keep a consistent codebase for C++ projects☆10Jul 28, 2023Updated 2 years ago
- Ergonomic GMP Integers for Nim☆10Sep 1, 2023Updated 2 years ago
- MATLAB code used for preprocessing and decoding analyses in our paper: "Expert programmers have fine-tuned cortical representations of so…☆11Dec 2, 2020Updated 5 years ago
- Holoplay.js compatible server for Linux (and probably other OSes)☆10Mar 27, 2019Updated 6 years ago
- C4RepSet: Representative Subset from C4 data for Training Pre-trained LMs☆11Jan 13, 2023Updated 3 years ago
- Code that drives the public web-based tools for the Media Cloud Online News Archive and Directory.☆11Feb 21, 2026Updated last week
- Code and data for the Walert large language model-based chatbot☆12Aug 14, 2025Updated 6 months ago
- Fake NEWS detector using LIAR dataset.☆11Aug 19, 2019Updated 6 years ago