Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Tripleo envybox committed Sep 11, 2024
1 parent 0754e8f commit 7146326
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@ A collection of awesome things.
- [Modula-2](#modula-2)
- [Nix](#nix)
- [OCaml](#ocaml)
- [Oberon](#oberon)
- [Objective-C](#objective-c)
- [PHP](#php)
- [PLpgSQL](#plpgsql)
Expand Down Expand Up @@ -490,11 +491,14 @@ A collection of awesome things.

## OCaml

- [Spivoxity/obc-3](https://github.com/Spivoxity/obc-3) - Oxford Oberon-2 compiler
- [dmtrKovalenko/odiff](https://github.com/dmtrKovalenko/odiff) - The fastest pixel-by-pixel image visual difference tool in the world.
- [hacspec/hax](https://github.com/hacspec/hax) - A Rust verification tool
- [janestreet/incremental](https://github.com/janestreet/incremental) - A library for incremental computations

## Oberon

- [Spivoxity/obc-3](https://github.com/Spivoxity/obc-3) - Oxford Oberon-2 compiler

## Objective-C

- [gnustep/libs-steptalk](https://github.com/gnustep/libs-steptalk) - StepTalk is a scripting framework for creating scriptable servers or applications.
Expand Down Expand Up @@ -585,6 +589,7 @@ A collection of awesome things.
- [pypy/pypy](https://github.com/pypy/pypy) - PyPy is a very fast and compliant implementation of the Python language.
- [python-eel/Eel](https://github.com/python-eel/Eel) - A little Python library for making simple Electron-like HTML/JS GUI apps
- [ravexina/csp-sudoku-solver](https://github.com/ravexina/csp-sudoku-solver) - Python + tkinter + CSP Idea / Algorithm to solve sudoko
- [riscv/riscv-cheri](https://github.com/riscv/riscv-cheri) - This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
- [seiferteric/remarkable_debfix](https://github.com/seiferteric/remarkable_debfix) - Remarkable Markdown Debian Package Fix
- [simonw/simonwillisonblog](https://github.com/simonw/simonwillisonblog) - The source code behind my blog
- [sjvasquez/handwriting-synthesis](https://github.com/sjvasquez/handwriting-synthesis) - Handwriting Synthesis with RNNs ✏️
Expand Down

0 comments on commit 7146326

Please sign in to comment.