Pinned Repositories
chatty-server
chatty-web-client
superseded by https://github.com/archaeron/chatty-web-client-halogen
idris-fiamma
Generate HTML from idris
jqTabs
jQuery or Zepto tabs, usable with bootstrap
Marionette.CompoundView
Androids Compound View for Marionette
PHPLinq
Linq like queries in PHP
purescript
A small strongly typed language that compiles to Javascript
purescript-yaml-next
Tablefilter-by-class
Talks
archaeron's Repositories
archaeron/idris-fiamma
Generate HTML from idris
archaeron/purescript-yaml-next
archaeron/Talks
archaeron/purescript
A small strongly typed language that compiles to Javascript
archaeron/vscode-idris-highlighting
Highlights Idris code in VSCode
archaeron/.home
archaeron/aeson-diff
Generate and apply diffs between JSON documents.
archaeron/atom-language-idris
A Idris Mode for Atom.io
archaeron/atom-language-idris-tests
archaeron/downlords-faf-client
Official client for Forged Alliance Forever
archaeron/elm-pretty-print
combinators for pretty printing based on available width
archaeron/Idris-dev
A Dependently Typed Functional Programming Language
archaeron/idris-ipkg
archaeron/idris-json-rpc
JSON-RPC 2.0 in Idris
archaeron/Idris2
A purely functional programming language with first class types
archaeron/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
archaeron/mmaclone
A simple Mathematica clone in Haskell
archaeron/nixpkgs
Nix Packages collection
archaeron/nushell
A new type of shell
archaeron/patat
Terminal-based presentations using Pandoc
archaeron/purescript-ace-halogen
A Halogen component for the Ace editor.
archaeron/purescript-dotlang
DotLang datatypes for purescript
archaeron/purescript-eulalie
String parser combinators for PureScript.
archaeron/purescript-markdown
A Purescript library for parsing SlamData's dialect of Markdown.
archaeron/talks-1
archaeron/typesafe-react-router
Utility functions to help facilitate type-safe routing with react-router
archaeron/typescript-idris-ide
talk to idris via the idris IDE-protocol in typescript
archaeron/typescript-testcase
archaeron/vscode-idris-language-server
archaeron/vscode-tabularize