GitHub / cstml 8 Repositories
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, Nix, Maybe C - did I mention Types?"
cstml/time-utils
The time-utils that you deserve and need right now.
Language: Clojure - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
cstml/tuple
Language: Go - Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
cstml/cstml.github.io
Personal Website Project
Language: HTML - Size: 566 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
cstml/spacelang
A stack based, concatenative, async language. WIP
Language: Common Lisp - Size: 19.1 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
cstml/srpn-calculator
SRPN calculator.
Language: C - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
cstml/UoB-TCyan-dungeon-game
A dungeon game developed as part of Software Engineering module at the University of Bath
Language: Java - Size: 348 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
cstml/go-hello-world
Language: Go - Size: 1.42 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
cstml/dotfiles
. files
Language: Nix - Size: 89.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
cstml/apropos Fork of mlabs-haskell/apropos
Propositional Logic Apropos Types
Language: Haskell - Size: 779 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
cstml/tic-tac-toe-gym 📦
Tic Tac Toe AI vs Random
Language: Python - Size: 1.24 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
cstml/kaggle-titanic 📦
My first competition on Kaggle - the "legendary" Titanic dataset
Language: Python - Size: 60.6 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
cstml/leetcode-exercise-library 📦
My leetcode solutions
Language: Python - Size: 7.49 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
cstml/exercise-library 📦
A compilation of resolved problems
Language: Jupyter Notebook - Size: 3.62 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
cstml/cstml
Size: 0 Bytes - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
cstml/Space
A declarative, concatenative stack programing language. Pre-Alpha.
Language: Haskell - Size: 179 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
cstml/flake-templates Fork of NixOS/templates
Flake templates
Language: Nix - Size: 81.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
cstml/unison-library
Size: 4.49 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
cstml/unison Fork of unisonweb/unison
A friendly programming language from the future
Size: 23.7 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
cstml/plutip Fork of mlabs-haskell/plutip
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
Size: 937 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
cstml/HoTTEST-Summer-School Fork of martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
Size: 7 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
cstml/FMCt
Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
Language: Haskell - Size: 239 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
cstml/cardano-node Fork of input-output-hk/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Size: 273 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
cstml/row-types Fork of target/row-types
A Haskell library for open records and variants using closed type families and type literals
Size: 466 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
cstml/digraph Fork of mlabs-haskell/digraph
Directed Graphs
Size: 47.9 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
cstml/purescript-bridge Fork of mlabs-haskell/purescript-bridge
Create PureScript datatypes from Haskell datatypes
Size: 569 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
cstml/agda-stdlib Fork of agda/agda-stdlib
The Agda standard library
Size: 275 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
cstml/plutarch Fork of Plutonomicon/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Size: 2.09 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
cstml/zfoh.ch Fork of zfoh/zfoh.ch
Our homepage
Size: 8.36 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
cstml/haskellweekly Fork of haskellweekly/haskellweekly
Publishes curated news about the Haskell programming language.
Size: 2.92 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
cstml/from0k2bp Fork of AdamISZ/from0k2bp
From Zero (Knowledge) to Bulletproofs - writeup
Size: 2.19 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
cstml/formal-utxo Fork of omelkonian/formal-utxo
Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
Size: 6.09 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
cstml/templates
Handy templates.
Language: C - Size: 41 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
cstml/exercises-algorithms-interviews
Answers to competitions, interview tasks or standard algorithms.
Language: Jupyter Notebook - Size: 7.52 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
cstml/purescript-halogen-template Fork of purescript-halogen/purescript-halogen-template
Template project for getting started with Halogen
Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
cstml/easy-purescript-nix Fork of justinwoo/easy-purescript-nix
Easy PureScript (and other tools) with Nix
Size: 309 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
cstml/spec Fork of mlabs-haskell/spec
Design of Specifications
Size: 1.09 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
cstml/agda-lib
Language: Agda - Size: 378 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
cstml/plutus-pioneer-program-1 Fork of chris-moreton/plutus-pioneer-program
This is a fork of the IOHK Plutus Pioneer Program repository. I am adding READMEs to each of the lectures to transcribe the audio.
Size: 101 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
cstml/Rust-Linked-List
A simple Rust Linked List.
Language: Nix - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
cstml/nixpkgs Fork of NixOS/nixpkgs
Nix Packages collection
Size: 1.63 GB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
cstml/plutus-starter Fork of input-output-hk/plutus-starter
A starter project for Plutus apps
Size: 91.8 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
cstml/clj-tic-tac-toe
Clojure tic tac toe
Language: Clojure - Size: 17.6 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
cstml/hsk-tic-tac-toe
Haskell tic tac toe
Language: Haskell - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
cstml/debian-workhorse
A base docker image - it has a lot of dependencies that I use quite oftenly - a nice portable dev environment.
Language: Dockerfile - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
cstml/UoB-reverse-polish-notation-calculator
Saturated Reverse Polish Notation Calculator - Developed as part of my MSc in Computer Science
Language: Python - Size: 119 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
cstml/batch-renderer-rhino-vray
A tool for Batch Rendering in Rhino using VRay 3
Language: Python - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 2
cstml/simple-repl-in-haskell Fork of joelchelliah/simple-repl-in-haskell
How to make you very own REPL in Haskell
Size: 40 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
cstml/asdf Fork of fare/asdf
Another System Definition Facility, de facto standard build system for CL (mirrored from Common-Lisp.net)
Size: 7.92 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
cstml/lisp-koans Fork of google/lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
Size: 306 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
cstml/debian-sbcl
Debian SBCL image with quicklisp installed and set up
Language: Dockerfile - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
cstml/heroku-docker-nginx-example Fork of rjoonas/heroku-docker-nginx-example
Barebones nginx installation on Heroku using Docker.
Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
cstml/docker-alpine-apache-php Fork of janecekt/docker-alpine-apache-php
Docker container based on Alpine Linux containing Apache 2.4 web server and Php 5.4
Size: 12.7 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
cstml/light-cutter
A 3DSMax sccript that allows the user to create a perforation into any volume in such a way that it allows for light to form a specific shape at a specific time of the day.
Language: MAXScript - Size: 401 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
cstml/Open.GL Fork of Overv/Open.GL
The source code and content of Open.GL.
Size: 14.2 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0