3-day longest streak
-
nemo-lang ★ PINNED
A small programming language that compiles to Wasm GC
Rust ★ 21 19d agoExplain → -
pscid ★ PINNED
A lightweight, fast and unintrusive PureScript file-watcher
PureScript ★ 139 2y agoExplain → -
psc-ide-emacs ★ PINNED ⑂
Emacs integration for PureScript's psc-ide tool.
Emacs Lisp ★ 0 2y agoExplain → -
fby19 ★ PINNED
Type inference from scratch - Material for my talk at F(by)19
Haskell ★ 67 6y agoExplain → -
purescript-wasm ★ PINNED
Wasm library for PureScript
PureScript ★ 32 2y agoExplain → -
infer_workshop ★ PINNED
An interactive workshop on implementing AlgorithmW in Kotlin
Kotlin ★ 21 6y agoExplain → -
psc-ide
DEPRECATED - Editor Support for the PureScript programming language
Haskell ★ 61 10y agoExplain → -
purescript-emmet
Quick scaffolding for Halogen's HTML DSL
PureScript ★ 35 5y agoExplain → -
FROST-Frontend
Reactive Programming with PureScript and React
JavaScript ★ 31 11y agoExplain → -
motoko-library-template
A template for creating Motoko libraries
Modelica ★ 31 5y agoExplain → -
motoko-matchers
No description.
Motoko ★ 28 11mo agoExplain → -
purescript-matrices
Simple two-dimensional matrices backed by a flat array
PureScript ★ 18 6y agoExplain → -
okasaki
Working through Okasaki's "Functional Datastructures" in PureScript
PureScript ★ 14 9y agoExplain → -
electron-apps-with-purescript
https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html
JavaScript ★ 12 10y agoExplain → -
a-whole-new-world
My self-built emacs configuration
Emacs Lisp ★ 11 19d agoExplain → -
siml
My playground for building a compiler for an ML-like in Rust
Rust ★ 10 3y agoExplain → -
purescript-blessed
[WIP!] PureScript bindings to the blessed library
PureScript ★ 10 10y agoExplain → -
purescript-psc-ide
PureScript client for psc-ide
PureScript ★ 9 1y agoExplain → -
purslasher
A Beat 'em Up in PureScript
PureScript ★ 8 10y agoExplain → -
motoko-regex
Simple Regexes for Motoko
Modelica ★ 7 5y agoExplain → -
purescript-halogen-autocomplete
Simple autocomplete component for Halogen
PureScript ★ 7 9y agoExplain → -
PuC-SS21 ▣
Vorlesungsmaterial fuer Programmiersprachen und Compilerbau im SS2021
Kotlin ★ 6 5y agoExplain → -
squirrelzon
A Webshop with a twist
JavaScript ★ 6 11y agoExplain → -
psc-gui
No description.
PureScript ★ 5 10y agoExplain → -
dotfiles
Home sweet home
Emacs Lisp ★ 5 9y agoExplain → -
PuC-SS22
Code und Slides fuer die Vorlesung "Programmiersprachen und Compilerbau" and der TH Koeln im SS22
Kotlin ★ 4 4y agoExplain → -
motoko-json
No description.
Modelica ★ 4 6y agoExplain → -
FROST-Backend
Backend for the (F)unctional (R)eactive (O)pen (S)pace (T)imetable
Haskell ★ 4 11y agoExplain → -
motoko-pretty
A pretty printing library for Motoko
Modelica ★ 4 5y agoExplain → -
ps-pretty
No description.
Haskell ★ 4 10y agoExplain → -
no-brainer-cps
Implements No-Brainer CPS conversion - http://www.ccs.neu.edu/home/shivers/papers/nobrainer-cps.pdf
Rust ★ 3 6y agoExplain → -
halogen-history-table
No description.
PureScript ★ 3 3y agoExplain → -
purescript-dynamic-buffer
Growing Buffers
PureScript ★ 3 4y agoExplain → -
ic101
No description.
Modelica ★ 3 5y agoExplain → -
KinectNinja
A Fruit Ninja Port into the third Dimension.
Processing ★ 3 11y agoExplain → -
chromacannon
POW COLORS!
PureScript ★ 3 10y agoExplain → -
kittenmix
Experimenting with the LSP for PureScript
Haskell ★ 3 6y agoExplain → -
purescript-purs-ide
Communicating with PureScript's IDE server from PureScript
PureScript ★ 3 6y agoExplain → -
clippy-api
No description.
Haskell ★ 3 11y agoExplain → -
ps-benchmarks
No description.
Haskell ★ 3 9y agoExplain → -
purpl
WIP interpreter for PureScript
PureScript ★ 3 8y agoExplain → -
minskjs-graphics
The code for my talk at MinskJS
PureScript ★ 3 10y agoExplain → -
FROST-Thermite
No description.
PureScript ★ 3 11y agoExplain → -
purescript-webauthn
No description.
PureScript ★ 2 5y agoExplain → -
praxisprojekt
No description.
Haskell ★ 2 10y agoExplain → -
morgana
No description.
Haskell ★ 2 9y agoExplain → -
purs-archive
A package registry for PureScript
Haskell ★ 2 8y agoExplain → -
gol-hs
No description.
Haskell ★ 2 7y agoExplain → -
dAppreciate
No description.
Rust ★ 1 4y agoExplain → -
PuC-WS20 ▣
Materialien für das Programmiersprachen und Compilerbau WPF im WS2020
Kotlin ★ 1 6y agoExplain → -
PuC-SS23 ▣
Programmiersprachen und Compilerbau SS23
Kotlin ★ 1 3y agoExplain → -
memo
Nemo never forgets
Kotlin ★ 1 3y agoExplain → -
Purescript-Projects
some small projects in purescript
PureScript ★ 1 10y agoExplain → -
aoc-2020
No description.
PureScript ★ 1 5y agoExplain → -
motoko-relational-algebra
Experimenting with a simple DB model in Motoko
Modelica ★ 1 5y agoExplain → -
ps_canister
Just an experiment at getting a PureScript frontend into an IC canister
JavaScript ★ 1 4y agoExplain → -
motoko-text-map
A Motoko hashmap that fixes the key type to Text
Modelica ★ 1 5y agoExplain → -
stlc-purs
No description.
PureScript ★ 1 5y agoExplain → -
beforeunload-example
No description.
Dhall ★ 1 3y agoExplain → -
compiling-with-continuations
No description.
Rust ★ 1 6y agoExplain → -
yesod-rest-api
No description.
Haskell ★ 1 12y agoExplain → -
my_project_euler
No description.
Haskell ★ 1 12y agoExplain → -
KickerApp
Die Killer Kicker App
Haskell ★ 1 11y agoExplain → -
blog-website
No description.
Haskell ★ 1 11y agoExplain → -
diagrams-experiments
No description.
Haskell ★ 1 10y agoExplain → -
jk
An experimental dependency solver for PureScript
Haskell ★ 1 9y agoExplain → -
affjax-example
No description.
Dhall ★ 1 3y agoExplain → -
MaraML
No description.
Kotlin ★ 1 6y agoExplain → -
node-purescript-bin ⑂
PureScript wrapper that makes it seamlessly available via npm
JavaScript ★ 1 10y agoExplain → -
lc-purs-recursion-schemes
No description.
PureScript ★ 1 9y agoExplain → -
spacemacs-conf
The Spacemacs configuration I'm currently using
Emacs Lisp ★ 1 8y agoExplain → -
package-sets ⑂
A curated list of PureScript packages
Shell ★ 1 4y agoExplain → -
gilded-rose-purescript ⑂
A port of the "Gilded-Rose" Kata to PureScript
PureScript ★ 1 8y agoExplain → -
purescript-lemonbar
A configuration library with prebuilt sections for lemonbar
PureScript ★ 1 10y agoExplain → -
open-space-socket
Websocket for devel purposes
JavaScript ★ 1 11y agoExplain → -
dickminer-frontend
No description.
JavaScript ★ 1 11y agoExplain → -
you-dont-know-electron ⑂
A simple first trivia game written with Electron
JavaScript ★ 1 11y agoExplain → -
NG6-starter ⑂
Starter for Angular + ES6 + (Webpack or JSPM)
JavaScript ★ 1 11y agoExplain → -
pulp ⑂
A build tool for PureScript projects
PureScript ★ 1 10y agoExplain → -
psc-ide-vim ⑂
Vim plugin for psc-ide
VimL ★ 1 10y agoExplain → -
kRITZCREEK.github.io
https://kritzcreek.github.io/
HTML ★ 1 10y agoExplain → -
SLAMPython
No description.
Python ★ 1 11y agoExplain → -
ai-projekt
No description.
TeX ★ 1 10y agoExplain → -
FROST-Mobile
No description.
PureScript ★ 1 11y agoExplain → -
FTpython
Evaluates Facetracking Data from the Kinect
Python ★ 1 11y agoExplain → -
scheme ⑂
Write You a Scheme
Haskell ★ 0 9y agoExplain → -
aoc-2019
Solutions to AoC 2019 in Nemo
TypeScript ★ 0 6mo agoExplain → -
vessel-package-set ⑂
The official community package-set for vessel
Dhall ★ 0 3y agoExplain → -
hackage-matrix-builder ⑂
Build Hackage package versions against multiple GHC versions
Haskell ★ 0 9y agoExplain → -
tree-sitter-nemo
tree-sitter grammar for the Nemo programming language
JavaScript ★ 0 1y agoExplain → -
wasm-tools ⑂
Low level tooling for WebAssembly in Rust
Rust ★ 0 1y agoExplain → -
hop
Tooling for working with SCIP
Rust ★ 0 1y agoExplain → -
tree-sitter ⑂
An incremental parsing system for programming tools
★ 0 1y agoExplain → -
ts-wasm-test
No description.
Rust ★ 0 1y agoExplain → -
tree-sitter-perl ⑂
No description.
★ 0 2y agoExplain → -
tree-sitter-pkl ⑂
Tree-sitter parser for Pkl
★ 0 2y agoExplain → -
tree-sitter-nickel ⑂
No description.
★ 0 2y agoExplain → -
tree-sitter-matlab ⑂
MATLAB tree-sitter parser
★ 0 2y agoExplain → -
tree-sitter-magik ⑂
Magik grammar for tree-sitter
★ 0 2y agoExplain → -
tree-sitter-jsonnet ⑂
tree-sitter grammar for JSONNET
★ 0 2y agoExplain → -
tree-sitter-dart ⑂
Attempt to make a tree-sitter grammar for dart
★ 0 2y agoExplain → -
purify ⑂
Reproducible builds for PureScript
Haskell ★ 0 9y agoExplain → -
intero ⑂
Complete interactive development program for Haskell
Haskell ★ 0 10y agoExplain → -
mo-hex
Hexadecimal encoding and decoding routines.
Modelica ★ 0 6y agoExplain → -
purescript-optparse ⑂
Applicative option parser
PureScript ★ 0 7y agoExplain → -
techtalk-ps
No description.
PureScript ★ 0 10y agoExplain → -
purescript ⑂
A small strongly typed language that compiles to Javascript
Haskell ★ 0 2y agoExplain → -
agent-js ⑂
A collection of libraries and tools for building software around the Internet Computer, in JavaScript.
★ 0 5y agoExplain → -
nns-proposals ⑂
No description.
★ 0 5y agoExplain → -
purescript-lunapark ⑂
No description.
★ 0 5y agoExplain → -
Lambda3
Next-Next-Level
Rust ★ 0 5y agoExplain → -
bind-aff-example
No description.
Dhall ★ 0 5y agoExplain → -
example-functional-compiler ⑂
No description.
★ 0 5y agoExplain → -
motoko-scc ⑂
A Strongly Connected Components algorithm for Motoko
★ 0 5y agoExplain → -
pybotbrain ⑂
Learn programming with Python and Telegram
★ 0 5y agoExplain → -
nano-emacs ⑂
GNU Emacs / N Λ N O - Emacs made simple
★ 0 5y agoExplain → -
wallocate
Experimenting with Wasm allocators
Rust ★ 0 5y agoExplain → -
purescript-globals ⑂
Typed definitions for standard Javascript globals
PureScript ★ 0 11y agoExplain → -
kiml
No description.
Kotlin ★ 0 6y agoExplain → -
mo-parsec ⑂
A parsec parser combinator library for Motoko
★ 0 6y agoExplain → -
mo-leftpad
Most important library out there
Modelica ★ 0 6y agoExplain → -
purescript-jquery ⑂
Type declarations for jQuery
PureScript ★ 0 11y agoExplain → -
mo-list
Just an experiment
Modelica ★ 0 6y agoExplain → -
mo-option
Just an experiment
Modelica ★ 0 6y agoExplain → -
qr ⑂
A QR Code Generator in Pure Motoko
Modelica ★ 0 6y agoExplain → -
purescript-halogen-vdom ⑂
An extensible virtual-dom library for PureScript.
PureScript ★ 0 8y agoExplain → -
purescript-dom-indexed ⑂
Typed DOM attributes and properties
PureScript ★ 0 8y agoExplain → -
purescript-halogen ⑂
A declarative, type-safe UI library for PureScript.
PureScript ★ 0 7y agoExplain → -
protolude ⑂
A sensible starting Prelude template.
Haskell ★ 0 10y agoExplain → -
conway-purescript
The infamous Game of Life
PureScript ★ 0 10y agoExplain → -
Lambda2 ⑂
Next Level Shit
Kotlin ★ 0 6y agoExplain → -
xmonad-testing ⑂
Stack/cabal setup for testing xmonad* and configurations
Haskell ★ 0 6y agoExplain → -
wabt-rs ⑂
WABT bindings for Rust
★ 0 7y agoExplain → -
documentation ⑂
Documentation for the PureScript language, compiler, and tools.
★ 0 6y agoExplain → -
purescript-parcel-example ⑂
An example of how PureScript outputs are just CommonJS modules that you can use in any way you want.
★ 0 7y agoExplain → -
wasm_exp
No description.
WebAssembly ★ 0 7y agoExplain → -
purescript-suggest ⑂
Apply PureScript compiler suggestions to fix warnings
PureScript ★ 0 3y agoExplain → -
purescript-aff ⑂
An asynchronous effect monad for PureScript
PureScript ★ 0 10y agoExplain → -
purescript-cst ⑂
A concrete-syntax tree and parser for the PureScript language
Haskell ★ 0 7y agoExplain → -
purescript-thermite-counter
No description.
PureScript ★ 0 9y agoExplain → -
purescript-moonshine ⑂
No description.
PureScript ★ 0 8y agoExplain → -
purescript-safelist ⑂
A list type that tracks non-emptiness at the type level
PureScript ★ 0 8y agoExplain → -
purescript-dom ⑂
Type definitions and standard effect for interacting with the DOM
PureScript ★ 0 9y agoExplain → -
ellie ⑂
ellie-app.com
Elm ★ 0 8y agoExplain → -
lalrpop ⑂
LR(1) parser generator for Rust
Rust ★ 0 8y agoExplain → -
stackage ⑂
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Shell ★ 0 10y agoExplain → -
purescript-freeap ⑂
Free applicative functors for PureScript
PureScript ★ 0 8y agoExplain → -
psc-package ⑂
A package manager for PureScript based on package sets
Haskell ★ 0 7y agoExplain → -
purescript-clipboard ⑂
Purescript clipboard.js bindings
PureScript ★ 0 8y agoExplain → -
emacs-kaolin-themes ⑂
Set of eye pleasing themes for GNU Emacs.
Emacs Lisp ★ 0 8y agoExplain → -
purescript-codec-argonaut ⑂
Bi-directional JSON codecs for argonaut
PureScript ★ 0 8y agoExplain → -
purescript-simple-json ⑂
A simple Purescript JSON library based on Purescript's RowToList
PureScript ★ 0 9y agoExplain → -
purescript-leafletjs-halogen ⑂
Embedding leaflet geocharts to halogen
CSS ★ 0 9y agoExplain → -
purescript-leafletjs ⑂
Purescript bindings to leafletjs library
PureScript ★ 0 8y agoExplain → -
melpa ⑂
Recipes and build machinery for the biggest Emacs package repo
Emacs Lisp ★ 0 9y agoExplain → -
dockerconfig-ng
Dockerconfig done right
PureScript ★ 0 9y agoExplain → -
purescript-screeps ⑂
PureScript wrapper library for the Screeps game API (https://screeps.com)
PureScript ★ 0 9y agoExplain → -
purescript-either ⑂
Values with two possibilities
PureScript ★ 0 9y agoExplain → -
elm-mode ⑂
Elm mode for emacs
Emacs Lisp ★ 0 9y agoExplain → -
purescript-quasar ⑂
Quasar API library for PureScript
PureScript ★ 0 8y agoExplain → -
purescript-ejson ⑂
Extended JSON data type as used by the Quasar NoSQL analytics engine
PureScript ★ 0 9y agoExplain → -
text-zipper ⑂
A text editor zipper libary
Haskell ★ 0 9y agoExplain → -
ohai-emacs ⑂
The finest hand crafted artisanal emacs.d for your editing pleasure
Emacs Lisp ★ 0 9y agoExplain → -
purescript-mode ⑂
Emacs mode for PureScript
Emacs Lisp ★ 0 9y agoExplain → -
purescript-psa-utils ⑂
Utility library for purescript-psa
PureScript ★ 0 5y agoExplain → -
purescript-simple-dom ⑂
No description.
PureScript ★ 0 10y agoExplain → -
purescript-browsersync
No description.
PureScript ★ 0 10y agoExplain → -
me
my stuffs
C ★ 0 10y agoExplain → -
repro-pscide
Reproduce erroneous psc-ide error with nested type aliases
PureScript ★ 0 10y agoExplain → -
kRITZCREEK.github.io-old ⑂
This will be my blog
CSS ★ 0 10y agoExplain → -
purescript-argonaut-core ⑂
A fast, native representation for JSON, with serialization and folding
PureScript ★ 0 10y agoExplain → -
pandoc-thesis ⑂
Simple example on how to write a thesis in markdown with Pandoc
Shell ★ 0 10y agoExplain → -
purescript-foldable-traversable ⑂
Classes for foldable and traversable data structures
PureScript ★ 0 10y agoExplain → -
atom-ide-purescript ⑂
Atom package for PureScript build, completion, etc support
PureScript ★ 0 9y agoExplain → -
purescript-exceptions ⑂
Exception effects
PureScript ★ 0 10y agoExplain → -
purescript-pux ⑂
A PureScript FRP interface to React.
PureScript ★ 0 10y agoExplain → -
purescript-yargs ⑂
PureScript bindings for the yargs command-line parsing library
PureScript ★ 0 10y agoExplain → -
pretty ⑂
Haskell Pretty-printer library
Haskell ★ 0 10y agoExplain → -
purescript-react-dom ⑂
No description.
PureScript ★ 0 10y agoExplain → -
purescript-clojure ⑂
An experimental Clojure backend for PureScript
Haskell ★ 0 10y agoExplain → -
trypurescript ⑂
PureScript in the browser
PureScript ★ 0 10y agoExplain → -
purescript.github.io ⑂
Project Homepage
HTML ★ 0 10y agoExplain → -
purescript-free-canvas ⑂
A free monad interface to the canvas
PureScript ★ 0 10y agoExplain → -
purescript-lists ⑂
Linked Lists
PureScript ★ 0 10y agoExplain → -
st2portfolio
No description.
TeX ★ 0 11y agoExplain → -
spacemacs ⑂
An Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp ★ 0 9y agoExplain → -
haskell-ide-engine ⑂
The engine for haskell ide-integration. Not an IDE
Shell ★ 0 10y agoExplain → -
programmierabend-purescript
No description.
PureScript ★ 0 10y agoExplain → -
pacmacs.el ⑂
Pacman for Emacs
Emacs Lisp ★ 0 10y agoExplain → -
purescript-parsing ⑂
A parser combinator library based on Parsec
PureScript ★ 0 11y agoExplain → -
dash-haskell ⑂
dash docset builder for Haskell packages and cabal project dependencies
Haskell ★ 0 11y agoExplain → -
Indoor-Nav
Indoor Navigation in der FH
JavaScript ★ 0 11y agoExplain → -
WerWirdChiQuadrat
No description.
JavaScript ★ 0 11y agoExplain → -
electron-experiment
No description.
JavaScript ★ 0 11y agoExplain → -
ausbildungsprojekt-doku
Die Dokumentation für mein Ausbildungsprojekt
TeX ★ 0 11y agoExplain → -
Openspace-snap
No description.
JavaScript ★ 0 11y agoExplain → -
kuenstliche-intelligenz-praktikum
Sammlung der Lösungen
Java ★ 0 11y agoExplain → -
FTKinect
No description.
Python ★ 0 11y agoExplain → -
KinectFTHarvester
Collects Facetracking data sent by the Kinect.
C# ★ 0 11y agoExplain → -
purescript-thermite ⑂
A simple PureScript wrapper for React
PureScript ★ 0 11y agoExplain →
No repos match these filters.
More creators on gitmyhub
programthink xiaolai brunosimon douglascrockford standardgalactic