Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by kiranandcode
A curated list of projects in awesome lists by kiranandcode .
https://github.com/kiranandcode/emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
emacs front-end ocaml time-tracking web
Last synced: 27 Oct 2024
https://github.com/kiranandcode/petrol
Petrol's an OCaml SQL API made to go FAST.
Last synced: 27 Oct 2024
https://github.com/kiranandcode/ocamlot
An Activitypub server in OCaml!
activitypub dream ocaml social-media social-network
Last synced: 27 Oct 2024
https://github.com/kiranandcode/gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Mode
code-navigation editing emacs ide ocaml
Last synced: 28 Oct 2024
https://github.com/kiranandcode/simple-pleroma-comments
Free, open source web commenting system in a single script (no-analytics, privacy friendly)!
activitypub comments comments-system ocaml pleroma privacy
Last synced: 28 Oct 2024
https://github.com/kiranandcode/guile-ocaml
GNU Guile Scheme bindings for OCaml
Last synced: 28 Oct 2024
https://github.com/kiranandcode/swipl-ocaml
SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html
Last synced: 10 Oct 2024
https://github.com/kiranandcode/libreref
LibreRef is a free as in freedom digital referencing tool for artists.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/uwp-redditslideshow
A Reddit Slideshow for the Universal Windows Platform...
reddit reddit-slideshow slideshow uwp-apps
Last synced: 10 Oct 2024
https://github.com/kiranandcode/rhombus-mode
Emacs Major mode for Rhombus (experimental)
Last synced: 10 Oct 2024
https://github.com/kiranandcode/fun-ip
Making IPv4 fun again! Who need DNS servers?
Last synced: 10 Oct 2024
https://github.com/kiranandcode/c-projects
A repository for all the cool C projects I do
Last synced: 10 Oct 2024
https://github.com/kiranandcode/plebbit-bg-changer
OCaml rewrite of a python-based background changer
Last synced: 10 Oct 2024
https://github.com/kiranandcode/dependent-view
A rust library for weak dependent views.
rust trait-object weak-references
Last synced: 10 Oct 2024
https://github.com/kiranandcode/othudd
OCaml Theorem driven development - Tests are for losers.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/gop-music
Music synced to typing baby!
mood music music-player python typing
Last synced: 10 Oct 2024
https://github.com/kiranandcode/query-complexity-framework
Framework for empirically exploring query complexity questions
ocaml query-complexity randomized
Last synced: 10 Oct 2024
https://github.com/kiranandcode/cleango
Bindings to libclingo for the lean4 prover and programming language!
Last synced: 28 Oct 2024
https://github.com/kiranandcode/camelclone
Automatically push changes to selected repositories - 0% tested yet 100% correct.
coq formalization ocaml verification
Last synced: 10 Oct 2024
https://github.com/kiranandcode/.nyxt.d
.nyxt.d config file (placed under $HOME/.config/nyxt/
Last synced: 10 Oct 2024
https://github.com/kiranandcode/projectnote
Large projects? *Note* a problem!
Last synced: 10 Oct 2024
https://github.com/kiranandcode/rust-projects
Might as well dip my toes into rust as well.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/html_gen
A simple HTML templating engine built using literate programming
html literate-programming rust template-engine
Last synced: 10 Oct 2024
https://github.com/kiranandcode/hit-front-page-of-hacker-news
Documenting Gopcaml-mode hitting the front-page of hacker news!
Last synced: 10 Oct 2024
https://github.com/kiranandcode/ocaml-pug
Pug(lite) parser & compiler in OCaml
Last synced: 10 Oct 2024
https://github.com/kiranandcode/activitybot-robotics-project
A repo for the RoboticsProject
Last synced: 10 Oct 2024
https://github.com/kiranandcode/goptables
The best timetabling system you never knew you needed.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/cvgenerator
Simple, Formal, Elegant. CV Generator
Last synced: 10 Oct 2024
https://github.com/kiranandcode/python-projects
Repo for all the small cool experiments I've done in Python.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/coq-projects
Haskell? More like not-prooved-well! Got-em!
Last synced: 10 Oct 2024
https://github.com/kiranandcode/rust-breakout
Implementation of the breakout game in Rust (openGL)
Last synced: 10 Oct 2024
https://github.com/kiranandcode/http_sig_ocaml
HTTP Signatures for OCaml
http http-signature ocaml ocaml-library
Last synced: 10 Oct 2024
https://github.com/kiranandcode/java-projects
A repository for all the cool Java Projects I do.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/godot-emacs-plugin
Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)
Last synced: 10 Oct 2024
https://github.com/kiranandcode/haskel-projects
A Repository for all the cool Haskel Projects I do.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/engc2-bioreactor
Repo for all the code in the ENGC2 Challenge - made as part of UCL's IEP
Last synced: 10 Oct 2024
https://github.com/kiranandcode/experiments-with-verification-ocaml
Experiments using CFML2 to verify code + dune
Last synced: 10 Oct 2024
https://github.com/kiranandcode/flat-combiner
Flat combiner written in OCaml
Last synced: 10 Oct 2024
https://github.com/kiranandcode/genius-pass
An innovative new experiment in password management
Last synced: 10 Oct 2024
https://github.com/kiranandcode/gaplayground
A Playground for testing GA ideas
Last synced: 10 Oct 2024
https://github.com/kiranandcode/vidme-for-windows-unofficial
A video client for the vidme video sharing site.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/cplusplusprojects
A repository for all the cool C++ Projects I do.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/ceramist-artefact
Artefact accompanying Ceramist paper.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/assembly-projects
Who needs types when you have bytes?
Last synced: 10 Oct 2024
https://github.com/kiranandcode/codingcurriculumwebsite
A Website made as part of UCL's Coding Curriculum Course
Last synced: 10 Oct 2024
https://github.com/kiranandcode/aoc-2020-ocaml
Advent of Code 2020 in OCaml
Last synced: 10 Oct 2024
https://github.com/kiranandcode/alexa-review-aggregator
A node js application to aggregate alexa reviews
Last synced: 10 Oct 2024
https://github.com/kiranandcode/universalwindowsplatform-projects
A repository for all my UWP experiments
Last synced: 10 Oct 2024
https://github.com/kiranandcode/reddit-slideshow
A simple little Reddit Slideshow...
express nodejs reddit slideshow
Last synced: 10 Oct 2024
https://github.com/kiranandcode/aoc-rhombus
Let's do AOC in Rhombus!!! (Why? because I hate myself :sob: :sob: :sob:)
Last synced: 10 Oct 2024
https://github.com/kiranandcode/r-projects
Can't learn statistics without fitting a few models, eh?
Last synced: 10 Oct 2024
https://github.com/kiranandcode/android-projects
A repository for all the cool Android projects I do.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/topologicaltodo
A brand new todo application utilizing an internal graph to model task dependancies.
android todo-list topological-sort
Last synced: 10 Oct 2024
https://github.com/kiranandcode/r-lcs
Recursive Learning Classifier System (RLCS) - Implementation of a Recursive Learning classifier System
Last synced: 10 Oct 2024
https://github.com/kiranandcode/projectprague-slideshow
A Slideshow application utilizing Project Prague's NUI, built on the Windows Presentation Forms platform.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/powershell-projects
A place to store cool powershell scripts
Last synced: 10 Oct 2024
https://github.com/kiranandcode/pplvwebsite
Repository for developing a website for the PPLV CS Research Area - As part of UCL's IEP
Last synced: 10 Oct 2024
https://github.com/kiranandcode/ocamldebug-plus-plus
OCamldebug++? Maybe let's see.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/observable-rs
Idiomatic, Unstable, observables for Rust
Last synced: 10 Oct 2024
https://github.com/kiranandcode/javagas
A multipurpose Genetic Algorithms library in Java
Last synced: 10 Oct 2024
https://github.com/kiranandcode/lua-projects
A repository for all the cool Lua Projects I do.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/lisp-projects
A repo for lisp related code! Data is code, code is data - whooo!
Last synced: 10 Oct 2024
https://github.com/kiranandcode/learnhack2017_mobilemedic
A repository for the MobileMedic Project made at LearnHack2017.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/logmypos
An Alexa-integrated web application to collect my own logistics.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/julia-projects
Can I learn Julia and write a project on it in less than 8 days?
Last synced: 10 Oct 2024
https://github.com/kiranandcode/image-masker
A short sweet application to segment an arbitrary image into distinct rectangular regions based on transparency.
Last synced: 10 Oct 2024
https://github.com/kiranandcode/javascript-projects
It's not like I wanted to use JS, it just happened to be the best tool for the job...
Last synced: 10 Oct 2024