rodlogic/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 28.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

rodlogic/spacemacs Fork of syl20bnr/spacemacs

An Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language: Emacs Lisp - Size: 31.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

rodlogic/homebrew Fork of Homebrew/legacy-homebrew

:beer: The missing package manager for OS X.

Language: Ruby - Size: 45.2 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

rodlogic/haste-ghc Fork of ghc/ghc

A fork of GHC so that base and ghc-prim can be hacked/merged using git

Language: Haskell - Size: 106 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

rodlogic/shade Fork of takeoutweight/shade

Interactive, client-side web apps in Haskell

Language: Haskell - Size: 273 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

rodlogic/haste-ghc-prim Fork of ghc/packages-ghc-prim

A fork of GHC's package-ghc-prim for Haste

Size: 383 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

rodlogic/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Language: Haskell - Size: 21.3 MB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rodlogic/distributed-process Fork of haskell-distributed/distributed-process

Cloud Haskell Core Library

Language: Haskell - Size: 3.04 MB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

rodlogic/distributed-process-platform Fork of haskell-distributed/distributed-process-platform

Cloud Haskell Platform

Language: Haskell - Size: 504 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

rodlogic/jop Fork of daveti/jop

jena owl parser

Language: Java - Size: 118 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

rodlogic/spring-boot Fork of spring-projects/spring-boot

Spring Boot

Language: Java - Size: 48.2 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rodlogic/charts Fork of helm/charts

Curated applications for Kubernetes

Language: Smarty - Size: 9.69 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rodlogic/ansible Fork of ansible/ansible

See ansible's repository for details about the project. Here are my additions to ansible that motivated the fork: ** Added per-host SSH tunneling when using the ssh transport

Language: Python - Size: 10.6 MB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

rodlogic/homebrew-ghc

A Tap for installing multiple versions of GHC

Language: Ruby - Size: 313 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 5 - Forks: 0

rodlogic/.spacemacs.d Fork of ekaschalk/.spacemacs.d

My spacemacs configuration.

Language: Emacs Lisp - Size: 2.27 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rodlogic/gatsby-starter-netlify-cms

Language: JavaScript - Size: 2.14 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rodlogic/hugo Fork of gohugoio/hugo

A Fast and Flexible Static Site Generator built with love by spf13 in GoLang

Language: Go - Size: 11.4 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/language-cil Fork of bamboo/language-cil

Manipulating Common Intermediate Language AST in Haskell

Language: Haskell - Size: 84 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

rodlogic/kubernetes Fork of kubernetes/kubernetes

Container Cluster Manager from Google

Language: Go - Size: 330 MB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

rodlogic/hassium-exe Fork of nwjs/nw.js

Call all Node.js modules directly from DOM and enable a new way of writing applications with all Web technologies.

Language: C++ - Size: 57.9 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/chromium.src Fork of sanyaade-mobiledev/chromium.src

copy of https://git.chromium.org/git/chromium/src.git

Language: C++ - Size: 1.86 GB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/ghc-deps-plugin

GHC Plugin to generate function and module dependencies

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/ghc-jit

An atempt to integrate Lambdachine's bytecode generator with GHC as a Plugin

Size: 117 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/intellij-haskforce Fork of carymrobbins/intellij-haskforce

Haskell plugin for IntelliJ IDEA Community Edition

Language: Java - Size: 6.81 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/ghc-design

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/ghcjs-parent

An attempt to automate the installation and setup of GHCJS for development

Size: 152 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/hide

Language: Java - Size: 188 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/eclipsefp Fork of JPMoresmau/eclipsefp

EclipseFP, the Haskell plug-in for Eclipse

Size: 23.9 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

rodlogic/haste-compiler Fork of valderman/haste-compiler

A Haskell to Javascript compiler.

Language: Haskell - Size: 3.29 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rodlogic/haste-integer-gmp Fork of ghc/packages-integer-gmp

A fork of GHC's package-integer-gmp for Haste

Size: 8.6 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

rodlogic/haste-array Fork of ghc/packages-array

A fork of GHC's package-array for Haste

Size: 5.17 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

rodlogic/prezto Fork of sorin-ionescu/prezto

The configuration framework for Zsh

Size: 8 MB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

rodlogic/haskeleton Fork of tfausak/haskeleton

A Haskell project skeleton.

Language: Haskell - Size: 122 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

rodlogic/lambdachine Fork of nominolo/lambdachine

VM and tracing JIT for Haskell (work in progress)

Language: Haskell - Size: 262 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/hassium-example

Size: 97.7 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/hassium-build

Size: 109 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/hassium-adapter

Size: 102 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/ghc-dev-scripts Fork of leroux/ghc-dev-scripts

ghc-dev workflow scripts

Language: Shell - Size: 103 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/Sauce Fork of CodeBrew-io/Sauce

Language: Scala - Size: 783 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/Frontend Fork of CodeBrew-io/Frontend

Language: JavaScript - Size: 701 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rodlogic/asciidoc-bootstrap-backend Fork of llaville/asciidoc-bootstrap-backend

Bootstrap backend for AsciiDoc

Language: JavaScript - Size: 170 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

rodlogic/TideSDK Fork of amoschov/TideSDK

Create multi-platform desktop apps with HTML5, CSS3 and JavaScript. TideSDK is the new standard for creating beautiful and unique desktop apps using your web development skills.

Language: C++ - Size: 33.8 MB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

rodlogic/git-scribe-template Fork of schacon/git-scribe-template

example git-scribe project structure

Language: C - Size: 128 KB - Last synced: about 1 year ago - Pushed: about 13 years ago - Stars: 0 - Forks: 0

rodlogic/SublimeHaskell Fork of SublimeHaskell/SublimeHaskell

A Sublime Text 2 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.

Language: Python - Size: 323 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rodlogic/Haskim Fork of jejansse/Haskim

A Haskell IDE based on spf-13 and VIM

Language: Shell - Size: 107 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rodlogic/Epic.NET Fork of bards/Epic.NET

Epic is a framework designed to keep your domain model implementation fully focused on the enterprise business that your application target, in a infrastructure ignorant fashion.

Language: C# - Size: 4.03 MB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0

rodlogic/sublimetext-markdown-slideshow Fork of ogom/sublimetext-markdown-slideshow

sublime text 2 plugin for markdown slideshow

Language: Python - Size: 131 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0

rodlogic/vagrantbox-ubuntu-64 Fork of cal/vagrant-ubuntu-precise-64

Automatic vagrant base box building

Language: Shell - Size: 89.8 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0