Pinned Repositories
adroit
approachingalmost
Approaching (Almost) Any Machine Learning Problem
autochrome
Structural diffs for clojure source code
awesome-obsidian
🕶️ Awesome stuff for Obsidian
cadence
Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.
clj-bob
The J-Bob proof assistant from The Little Prover in Clojure
clj-diff
Diff for Clojure Sequences
compojure-api
Sweet web apis with Compojure & Swagger
docker-qemu-win2000
A Docker image for Windows 2000 Advanced Server with SP4.
folatp
First-Order Logic Automated Theorem Prover using Tableaux Method
danieldroit's Repositories
danieldroit/adroit
danieldroit/approachingalmost
Approaching (Almost) Any Machine Learning Problem
danieldroit/autochrome
Structural diffs for clojure source code
danieldroit/awesome-obsidian
🕶️ Awesome stuff for Obsidian
danieldroit/cadence
Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.
danieldroit/clj-bob
The J-Bob proof assistant from The Little Prover in Clojure
danieldroit/clj-diff
Diff for Clojure Sequences
danieldroit/compojure-api
Sweet web apis with Compojure & Swagger
danieldroit/docker-qemu-win2000
A Docker image for Windows 2000 Advanced Server with SP4.
danieldroit/folatp
First-Order Logic Automated Theorem Prover using Tableaux Method
danieldroit/formplug-serverless
Form forwarding service for AWS Lambda
danieldroit/hitchhiker-tree
Functional, persistent, off-heap, high performance data structure
danieldroit/iframe-resizer
Keep same and cross domain iFrames sized to their content with support for window/content resizing, in page links, nesting and multiple iFrames
danieldroit/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
danieldroit/Minimum-Cost-Perfect-Matching
C++ implementation of algorithms for finding perfect matchings in general graphs
danieldroit/quickserv
Dangerously user-friendly web server for quick prototyping and hackathons
danieldroit/reagent
A minimalistic ClojureScript interface to React.js
danieldroit/Semantic-UI
Semantic is a UI component framework based around useful principles from natural language.
danieldroit/serverless-finch
A Serverless Framework Plugin for Static Site Deployment
danieldroit/spec-provider
Infer Clojure specs from sample data. Inspired by F#'s type providers.
danieldroit/termtosvg
Record terminal sessions as SVG animations
danieldroit/the-book-of-secret-knowledge
:dizzy: A collection of awesome lists, manuals, blogs, hacks, one-liners, cli/web tools and more. Especially for System and Network Administrators, DevOps, Pentesters or Security Researchers.
danieldroit/time-literals
Clojure(Script) tagged literals for jsr-310 ( java.time) entities
danieldroit/unicode-math
A Clojure library designed to let you painfully write easily readable math.
danieldroit/useful-sed
Useful sed scripts & patterns.