kiranandcode/python-projects kiranandcode/python-projects

  • Stars
    star
    1
  • Language
    Python
  • Created almost 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kiranandcode/python-projects
github

kiranandcode

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Repo for all the small cool experiments I've done in Python.

More Repositories

1

emacs-viewer

A web frontend for your Org-files (100% faithful to GNU+Emacs!)
Common Lisp
117
star
2

petrol

Petrol's an OCaml SQL API made to go FAST.
OCaml
106
star
3

ocamlot

An Activitypub server in OCaml!
OCaml
66
star
4

rhombus-in-the-rough

A 2D RPG implemented in the Rhombus Racket dialect
GLSL
51
star
5

gopcaml-mode

[MIRROR] Ultimate Ocaml Editing Mode
OCaml
21
star
6

guile-ocaml

GNU Guile Scheme bindings for OCaml
OCaml
16
star
7

simple-pleroma-comments

Free, open source web commenting system in a single script (no-analytics, privacy friendly)!
OCaml
16
star
8

WacomTabletTool

Unofficial GUI Tool for configuring Wacom Tablets on Unix/Linux systems.
Shell
9
star
9

SWIPL-OCaml

SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html
OCaml
6
star
10

LibreRef

LibreRef is a free as in freedom digital referencing tool for artists.
OCaml
5
star
11

rhombus-mode

Emacs Major mode for Rhombus (experimental)
Emacs Lisp
4
star
12

fun-ip

Making IPv4 fun again! Who need DNS servers?
OCaml
4
star
13

C-Projects

A repository for all the cool C projects I do
C
4
star
14

UWP-RedditSlideshow

A Reddit Slideshow for the Universal Windows Platform...
C#
4
star
15

deriving-such-that

Lean
4
star
16

gop-music

Music synced to typing baby!
Python
3
star
17

dependent-view

A rust library for weak dependent views.
Rust
3
star
18

plebbit-bg-changer

OCaml rewrite of a python-based background changer
OCaml
3
star
19

query-complexity-framework

Framework for empirically exploring query complexity questions
OCaml
3
star
20

othudd

OCaml Theorem driven development - Tests are for losers.
Coq
3
star
21

cleango

Bindings to libclingo for the lean4 prover and programming language!
C
3
star
22

.nyxt.d

.nyxt.d config file (placed under $HOME/.config/nyxt/
Common Lisp
2
star
23

CamelClone

Automatically push changes to selected repositories - 0% tested yet 100% correct.
Coq
2
star
24

clingo-lang

#lang clingo for Racket (WIP)
Racket
2
star
25

ocaml-pug

Pug(lite) parser & compiler in OCaml
OCaml
1
star
26

Goptables

The best timetabling system you never knew you needed.
Python
1
star
27

coq-projects

Haskell? More like not-prooved-well! Got-em!
Coq
1
star
28

hit-front-page-of-hacker-news

Documenting Gopcaml-mode hitting the front-page of hacker news!
1
star
29

rust-projects

Might as well dip my toes into rust as well.
Rust
1
star
30

cvgenerator

Simple, Formal, Elegant. CV Generator
Java
1
star
31

ProjectNote

Large projects? *Note* a problem!
JavaScript
1
star
32

Activitybot-robotics-Project

A repo for the RoboticsProject
C
1
star
33

html_gen

A simple HTML templating engine built using literate programming
TeX
1
star