8000 Vertmo (Vertmo) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Vertmo's full-sized avatar
39 followers · 4 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@SUStudentDevs

Block or report Vertmo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • CompCert Public

    Forked from AbsInt/CompCert

    The CompCert formally-verified C compiler

    Coq Other Updated Apr 22, 2025

  • ollvm Public

    Forked from OCamlPro/ollvm

    An higher-level LLVM binding for OCaml

    OCaml Other Updated Apr 15, 2025

  • OMicroB Public

    Forked from stevenvar/OMicroB

    An Ocaml generic virtual machine for microcontrollers

    OCaml 2 1 Other Updated Feb 22, 2025

  • ds-color-wheel Public

    A DS app about colors

    Makefile Updated Jul 28, 2024

  • ds-falling-sand Public

    A DS app about falling sand

    Makefile Updated Jul 28, 2024

  • vglang Public

    A language to write video games

    OCaml Updated Apr 21, 2024

  • LaTeX-Game-Engine Public

    Forked from Riato-Yagami/LaTeX-Game-Engine

    A game engine utilising the best medium: .pdf

    TeX Updated Jan 31, 2024

  • ott Public

    Forked from ott-lang/ott

    The Ott tool for writing definitions of programming languages and calculi

    OCaml Other Updated Aug 8, 2023

  • mm Public

    Forked from zeldaret/mm

    Decompilation of The Legend of Zelda: Majora's Mask

    C Updated Jul 25, 2023

  • crazyflie-lib-python Public

    Forked from bitcraze/crazyflie-lib-python

    Python library to communicate with Crazyflie

    Python Other Updated Jan 9, 2023

  • tp-ghidra-server Public

    Forked from zsrtp/tp-ghidra-server

    Ghidra server for the Twilight Princess Speedrun & Decomp communities

    Python Updated Dec 27, 2022

  • tokei Public

    Forked from XAMPPRocky/tokei

    Count your code, quickly.

    Rust Other Updated Oct 28, 2022

  • smpl Public

    Forked from sigurdschneider/smpl

    A Coq plugin providing an extensible tactic similar to first.

    OCaml MIT License Updated Aug 31, 2022

  • OCaLustre Public

    Forked from stevenvar/OCaLustre

    OCaml syntax extension for synchronous programming...

    OCaml Updated Jul 8, 2022

  • YANBF Public

    Forked from YANBForwarder/YANBF

    Yet another nds-bootstrap forwarder. Runs from 3DS-mode!

    C GNU General Public License v2.0 Updated Mar 12, 2022

  • ocamltokotlin Public

    Compiling OCaml to Kotlin (to eventually make some android apps)

    OCaml 3 Updated Dec 8, 2021

  • MiniLucy Public

    The MiniLucy compiler, realized for the Synchronous Systems module at MPRI

    OCaml MIT License Updated Jun 30, 2021

  • PG Public

    Forked from ProofGeneral/PG

    This repo is the new home of Proof General

    Emacs Lisp GNU General Public License v2.0 Updated Jun 25, 2021

  • coq2html Public

    Forked from xavierleroy/coq2html

    An HTML documentation generator for Coq source files

    OCaml GNU General Public License v2.0 Updated Apr 7, 2021

  • try-minilucy Public

    A web editor for MiniLucy

    OCaml MIT License Updated Mar 23, 2021

  • APS Public

    Le langage développé en cours d'APS à Sorbonne Université

    OCaml GNU General Public License v3.0 Updated Feb 28, 2021

  • orgcss Public

    Forked from gongzhitaao/orgcss

    Simple and clean CSS for Org-exported HTML

    CSS Other Updated Jan 14, 2021

  • Carp Public

    Forked from carp-lang/Carp

    A statically typed lisp, without a GC, for real-time applications.

    Haskell Apache License 2.0 Updated Nov 13, 2020

  • gitignore Public

    Forked from github/gitignore

    A collection of useful .gitignore templates

    Creative Commons Zero v1.0 Universal Updated Sep 14, 2020

  • MPRI-2.4-DTP Public

    Forked from pedagand/MPRI-2.4-DTP

    MPRI-2.4 Dependently-typed Functional Programming

    TeX Updated Feb 25, 2020

  • ocamljava Public

    Forked from xclerc/ocamljava
    OCaml Other Updated Feb 2, 2020

  • ACM-ICPC-Algorithms Public

    Forked from matthewsamuel95/ACM-ICPC-Algorithms

    Algorithms used in Competitive Programming

    C++ Updated Jan 23, 2020

  • Nand2Tetris Public

    The project from the "Nand2Tetris" book (https://www.nand2tetris.org/)

    Assembly Updated Nov 27, 2019

  • hello-menhir Public

    Forked from bryphe/hello-menhir

    Example app for menhir + reason + esy + dune

    JavaScript MIT License Updated Oct 24, 2019

  • stage2019-rapport Public

    Mon rapport pour le stage 2019 à Nomadic Labs

    TeX 1 Updated Sep 19, 2019
0