dviius

dviius's Stars

• ModelDriven/fUML-Reference-Implementation

  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.

  Language:Java6213

• tonsky/AnyBar

  OS X menubar status indicator

  Language:Objective-C5.9k158

• jonasseglare/bluebell-latex

  Clojure DSL to render Latex code

  Language:Clojure2

• kjw0612/awesome-rnn

  Recurrent Neural Network - A curated list of resources dedicated to RNN

  6.1k1.4k

• doriantaylor/clj-digest-store

  Unified front end for content-addressable storage using multiple hash algorithms and RFC 6920 URIs

  Language:Clojure11

• tonsky/clojure.unicode

  Unicode symbols for Clojure

  Language:Clojure494

• mwkuster/uritemplate-clj

  Clojure implementation of URI Templates as specified in RFC 6570 (http://tools.ietf.org/html/rfc6570)

  Language:Clojure146

• axboe/fio

  Flexible I/O Tester

  Language:C5.3k1.3k

• kieranbrowne/clojure-tensorflow

  An extremely light layer over TensorFlow's Java api

  Language:Clojure11318

• uncomplicate/bayadera

  High-performance Bayesian Data Analysis on the GPU in Clojure

  Language:Clojure36524

• hypirion/clj-conduit

  Clojure transducers with a more readable interface

  Language:Clojure36

• oracle-samples/clara-rules

  Forward-chaining rules in Clojure(Script)

  Language:Clojure1.2k115

• potassco/clasp

  ⚙️ A conflict-driven nogood learning answer set solver

  Language:C++11716

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k234

• oakes/Lightmod

  An all-in-one tool for full stack Clojure

  Language:Clojure27513

• ladderlife/cambo

  clojure take on falcor and relay

  Language:Clojure161

• degree9/meta

  A stack. A framework. A conversation.

  Language:Clojure13214

• exupero/vdom

  A virtual-dom library for ClojureScript.

  Language:JavaScript565

• jamesmacaulay/zelkova

  Elm-style FRP for Clojure and ClojureScript

  Language:Clojure4039

• martinklepsch/electron-and-clojurescript

  💡 Make an electron app with nothing but ClojureScript!

  Language:Clojure14821

• lwb4/mortimer

  A tool to trace every function call in a Clojure file.

  Language:Clojure21

• snyk/cli

  Snyk CLI scans and monitors your projects for security vulnerabilities.

  Language:TypeScript4.9k559

• cjgammon/SnapSVG-Animator

  Plugin to publish animated SVG content from Animate CC with the Snap.svg javascript library

  Language:HTML21644

• cl-model-languages/cl-sat.glucose

  CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).

  Language:Common Lisp3

• cl-model-languages/cl-sat

  Common Interface to Boolean Satisfiability Solvers from Common Lisp

  Language:Common Lisp145

• ogmacorp/OgmaNeo

  Ogma - OgmaNeo

  Language:C++11920

• ogmacorp/EOgmaNeo

  Ogma - EOgmaNeo https://ogma.ai/

  Language:C++11120

• onyx-platform/onyx-datomic

  Onyx plugin for Datomic

  Language:Clojure3714

• tendant/graphql-clj-starter

  GraphQL starter project for Clojure with graphql-clj and GraphiQL

  Language:CSS4210

• tendant/graphql-clj

  A Clojure library that provides GraphQL implementation.

  Language:Clojure28522