Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by vikraman
A curated list of projects in awesome lists by vikraman .
https://github.com/vikraman/2dtypes
Collaborative work on reversible computing
agda category-theory monoidal-categories quantum-computing reversible-computation reversible-programming-language
Last synced: 05 Jan 2025
https://github.com/vikraman/popl22-symmetries-artifact
Artifact for Symmetries in Reversible Programming
Last synced: 05 Jan 2025
https://github.com/vikraman/generalised-species
Espèces généralisées de structures sur les groupoïdes
agda category-theory cubical-type-theory linear-logic
Last synced: 05 Jan 2025
https://github.com/vikraman/akka-argonaut
Argonaut json marshallers for akka-stream and akka-http
Last synced: 05 Jan 2025
https://github.com/vikraman/compgeo
Computational Geometry algorithms library
Last synced: 05 Jan 2025
https://github.com/vikraman/hs-coexp
Continuations and Co-exponentials
category-theory continuations duality
Last synced: 05 Jan 2025
https://github.com/vikraman/agda-coexp
Formalisation of some ideas related to continuations and co-exponentials
Last synced: 05 Jan 2025
https://github.com/vikraman/descartes
An implementation of the λλ~ calculus
Last synced: 05 Jan 2025
https://github.com/vikraman/docker-gentoo
Minimal gentoo amd64 docker image
Last synced: 05 Jan 2025
https://github.com/vikraman/cgal-qt-demos
Automatically exported from code.google.com/p/cgal-qt-demos
Last synced: 05 Jan 2025
https://github.com/vikraman/patch-theory
A naive patch theory implementation
Last synced: 05 Jan 2025
https://github.com/vikraman/basic-hott
personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)
Last synced: 05 Jan 2025
https://github.com/vikraman/lastfmable
Playing around with the last.fm api and appengine
Last synced: 05 Jan 2025
https://github.com/vikraman/gentoostats-playground
Playground for gentoostats
Last synced: 05 Jan 2025
https://github.com/vikraman/guess
A simple number guessing game Facebook app
Last synced: 05 Jan 2025
https://github.com/vikraman/programming-scripts
Scripts to ease programming for the lazy coder
Last synced: 05 Jan 2025
https://github.com/vikraman/gentoo-haskell-status
Gentoo haskell overlay status
Last synced: 05 Jan 2025
https://github.com/vikraman/popl25-duality-artifact
Artifact for The Duality of λ Abstraction
Last synced: 05 Jan 2025
https://github.com/vikraman/purefun.dart
Purely functional constructs in dart
Last synced: 05 Jan 2025
https://github.com/vikraman/agda-structures
Structures as in model theory/universal algebra
Last synced: 05 Jan 2025
https://github.com/vikraman/akka-sse-primes
A demo of Server Sent Events using akka-stream and akka-http
Last synced: 05 Jan 2025
https://github.com/vikraman/ci-release-pdf-test
Can we make travis ci build pdfs and publish to github releases?
Last synced: 05 Jan 2025
https://github.com/vikraman/gmantra-conduit-gentoo
Gmantra's conduit, the next generation
Last synced: 05 Jan 2025
https://github.com/vikraman/typeclassopedia
My solutions to typeclassopedia
Last synced: 05 Jan 2025
https://github.com/vikraman/puppet-config
Puppet manifests for some of my boxes
Last synced: 05 Jan 2025
https://github.com/vikraman/ghc-mutable-cnf
ghc build with mutable cnf patches
Last synced: 05 Jan 2025
https://github.com/vikraman/st
Fork of st with custom patches, http://st.suckless.org/
Last synced: 05 Jan 2025