Skip to content
View octalsrc's full-sized avatar
12 followers · 4 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report octalsrc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • liquid-haskell-test Public

    Nix Updated Nov 11, 2024

  • fortunelike Public

    Rust GNU General Public License v3.0 Updated Sep 21, 2024

  • easy-smt Public

    Forked from elliottt/easy-smt

    Easy SMT solver interaction

    Rust Apache License 2.0 Updated Aug 2, 2024

  • sbv Public

    Forked from LeventErkok/sbv

    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

    Haskell Other Updated Mar 22, 2024

  • parallel-playback Public

    Synchronize media playback among remote viewers.

    Rust GNU General Public License v3.0 Updated Feb 1, 2021

  • gitit Public

    Forked from jgm/gitit

    A wiki using HAppS, pandoc, and git

    Haskell GNU General Public License v2.0 Updated Mar 6, 2020

  • r-maze Public

    Rust rewrite of c-maze

    Rust Other Updated Jan 27, 2020

  • octar Public

    Replicated archive organization

    Haskell 1 GNU General Public License v3.0 Updated Mar 11, 2019

  • el-star-demo Public

    An interactive demo of the L* algorithm

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Apr 25, 2017

  • learn-ctl Public

    An interactive demo of the CTL model-checking algorithm

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Jan 25, 2017

  • alpine-ghc Public

    Forked from mitchty/alpine-ghc

    Alpine linux with ghc for docker

    Updated Jan 25, 2017

  • c-maze Public

    A simple generated maze-crawler written in C using SDL

    C Other Updated May 8, 2016

  • monad-talk Public

    Explaining Functor -> Applicative -> Monad

    JavaScript Updated Mar 28, 2016

  • fnlp Public

    Haskell GNU General Public License v3.0 Updated Mar 17, 2016

  • cellular-automata Public

    Haskell GNU General Public License v3.0 Updated Feb 18, 2016

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix Other Updated Sep 2, 2015

  • crubadan_clld Public

    The website of the An Crúbadán project, built on the clld framework

    Mako 2 Updated Aug 27, 2015

  • moe-theme.el Public

    Forked from kuanyui/moe-theme.el

    A customizable colorful eye-candy theme for Emacser. Moe, moe, kyun!

    Emacs Lisp GNU General Public License v3.0 Updated Jul 12, 2015

  • interactive-tree-demos Public

    Haskell 1 1 BSD 2-Clause "Simplified" License Updated May 5, 2015

  • nlp-tools Public

    Utilities for Natural Language Processing

    Haskell BSD 2-Clause "Simplified" License Updated Apr 25, 2015

  • nlp-libs Public

    Functions and types for NLP activities in Haskell

    Haskell BSD 2-Clause "Simplified" License Updated Apr 21, 2015

  • monad-examples Public

    Some simple example uses of monads in Haskell

    Haskell Updated Apr 17, 2015

  • functional-programming-talk Public

    A talk I gave on Functional Programming and Haskell!

    Haskell BSD 3-Clause "New" or "Revised" License Updated Apr 16, 2015

  • ghcjs-boot Public

    Forked from ghcjs/ghcjs-boot

    boot libraries for ghcjs

    Pascal 1 Updated Apr 15, 2015

  • crubadan-web Public

    HTML 1 Updated Feb 20, 2015

  • linked-list-web-demo Public

    2014-2015 SLU Capstone Project, Part 1

    Haskell BSD 2-Clause "Simplified" License Updated Jan 28, 2015

  • functional-primes Public

    Some functionally implemented algorithms

    Haskell Updated Sep 22, 2014

  • SCPC.github.io Public

    Forked from SCPC/SCPC.github.io

    SLU Computer Programming Club

    CSS Updated Sep 19, 2014

  • ateam-tanks Public

    Spring 2014 Software Engineering project!

    Java 4 GNU General Public License v3.0 Updated May 7, 2014