kiranandcode/cleango kiranandcode/cleango

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C
  • Created 7 months ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kiranandcode/cleango
github

kiranandcode

Reviews

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

Repository Details

Bindings to libclingo for the lean4 prover and programming language!

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

.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