Darkneew/Peano-axioms Darkneew/Peano-axioms

  • Stars
    star
    1
  • Language
    OCaml
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Darkneew/Peano-axioms
github

Darkneew

Reviews

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

Repository Details

A redefinition of "int" and of some useful operations on it (addition, multiplication and order) in Ocaml using Peano axioms

More Repositories

1

Convex-Bot

An implementation of Convex in Discord
JavaScript
4
star
2

deeplearning-fluid-simulation

Python
2
star
3

Angry-Squid

A moderation discord bot for the Red Curtain gatcha community on discord
JavaScript
1
star
4

Undercover

The Undercover game, on web. Still a WIP
JavaScript
1
star
5

Chatting-bot-js-

This is a simple elegant way to do a chatting bot in node.js, on discord.
JavaScript
1
star
6

Science-breaker

A little plateformer where you explore a procedurally generated world with a bunch of super abilities
JavaScript
1
star
7

HX2-virus

Un concours d'IAs dans la HX2 sur le jeu du virus
Python
1
star
8

BrawlBot

A utility and music bot for a brawl stars community
JavaScript
1
star
9

Crook

My game for GMTK Game Jam 2022
ASP.NET
1
star
10

Darkcore-v1

A bot multifonctional omnipotent made for the Discord Hack Week
JavaScript
1
star
11

Prion-Bot

A discord bot to support and document the prion language, a new language I worked on with other people.
JavaScript
1
star
12

Darkcore-v3

A discord bot
JavaScript
1
star
13

the-companion

The holy guide of lumists
JavaScript
1
star
14

AlgoHamlet

A puzzle game similar to Baba is you
JavaScript
1
star
15

ENS-Exam-util-functions

Some utility functions for the informatic entrance exam to the ENS
C#
1
star
16

Hungerbot

A discord bot for roleplaying
JavaScript
1
star
17

Osanomusic

A music and utility bot for the GGC content creator community on discord
JavaScript
1
star
18

Cuitodieu

A moderation and utility bot for the Cuitochette wolfy community on Discord
JavaScript
1
star
19

Fan2Mid

A discord bot made to manage your notifications instead of discord, with a lot of customization available!
JavaScript
1
star
20

Manager-Bot

A discord bot to manage your messages and redesign your notification system for discord.
JavaScript
1
star
21

Music-Bot

A simple music bot for discord using Youtube's API. You can easily expand it and make it part of your own bot.
JavaScript
1
star
22

Birthday-Bot

A bot to use if you want to wish a hectic birthday to a friend or a member of your family. Be careful to adapt all messages premade to match the one you want to wish his birthday to.
JavaScript
1
star