kiranandcode/C-Projects kiranandcode/C-Projects

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C
  • Created about 8 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kiranandcode/C-Projects
github

kiranandcode

Reviews

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

Repository Details

A repository for all the cool C projects I do

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

UWP-RedditSlideshow

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

deriving-such-that

Lean
4
star
15

gop-music

Music synced to typing baby!
Python
3
star
16

dependent-view

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

plebbit-bg-changer

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

query-complexity-framework

Framework for empirically exploring query complexity questions
OCaml
3
star
19

othudd

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

cleango

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

.nyxt.d

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

CamelClone

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

clingo-lang

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

ocaml-pug

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

Goptables

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

coq-projects

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

hit-front-page-of-hacker-news

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

rust-projects

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

cvgenerator

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

python-projects

Repo for all the small cool experiments I've done in Python.
Python
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