Giter Club home page Giter Club logo

Spiros Boosalis's Projects

1001-haskell-examples icon 1001-haskell-examples

examples of Haskell packages and programs (lots of them); self-contained, updated, and buildable

agda icon agda

Getting Started With Setting Up Your First Hello-World Proof-Of-Concept Template Skeleton Example Tutorial Agda Proof

anathema-theme icon anathema-theme

The ANATHEMA color theme for ยซ xrandr-invert-colors ยป.

attack icon attack

The monthly package attack to make things faster

automation icon automation

cross-platform personal-computer automation: key presses, mouse clicks, application navigation, clipboard access.

basilisk icon basilisk

my Haskell Build Tool ("basilisk" kinda sounds like "{B}uild Ha{sk}e{ll}")

bnf-mode icon bnf-mode

GNU Emacs major mode for editing BNF grammars.

bricki-reflex icon bricki-reflex

Reflex FRP interface for the `bricki` shallow fork of the `brick` commandline UI library

cabal icon cabal

Official upstream development repository for Cabal and cabal-install

cabal2nix icon cabal2nix

Generate Nix build instructions from a Cabal file

capabilities icon capabilities

replace a set of unary typeclasses, with an explicit record of dictionaries. uses vinyl and OverloadedLabels for convenience

cards icon cards

Search through cards with smart queries and a nice UI

cfg icon cfg

a generic Context-Free Grammar type. Multiple frontends (observed sharing, TemplateHaskell quotes, monadic/HOAS). Multiple representations (typed/untyped, direct/indirect, cyclic/acyclic). Multiple backends (Earley, earley-pure, parsec?). Extensible.

cg icon cg

Card games: searching and editing (Magic: The Gathering, Android: Netrunner, Summoner Wars, Sorcery: Contested Realms, et cetera)

chrome-extensions icon chrome-extensions

Trivial extensions that remove sidebars/headers/footers to make sites more readable

clojure icon clojure

Getting Started with Setting Up Your First Hello-World Proof-Of-Concept Template Skeleton Example Tutorial for Clojure

code-by-voice icon code-by-voice

All the support file for my code by voice setup using Dragon Naturally Speaking and DragonFly

commands icon commands

repository for the commands-* packages, for configuring speech recognition engines and automating workflows.

commands-backends-osx9 icon commands-backends-osx9

simple Objective-C bindings for Haskell to press some keys and click the mouse on OS X (the FFI seems to take only microseconds).

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.