anmolsahoo25

julia

The Julia Programming Language

algorithms

Minimal examples of data structures and algorithms in Python

crystal

🔮 Graphile's Crystal Monorepo; home to Grafast, PostGraphile, pg-introspection, pg-sql2 and much more!

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

packer.nvim

A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

pg_graphql

GraphQL support for PostgreSQL

qutip

QuTiP: Quantum Toolbox in Python

dune

A composable build system for OCaml.

plzoo

Programming Languages Zoo

SQL-exercise

Practice with "Real" SQL Problems

acrn-hypervisor

Project ACRN hypervisor

cv32e40p

CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform

ocaml-lsp

OCaml Language Server Protocol implementation

ott

The Ott tool for writing definitions of programming languages and calculi

lbd

pistachio

L4Ka::Pistachio micro-kernel

Coqtail

Interactive Coq Proofs in Vim

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

vcaml

OCaml bindings for the Neovim API

ollvm

An higher-level LLVM binding for OCaml

FreePDK3

ocaml-modular-implicits

OCaml extended with modular implicits

feather

A shell library for OCaml

caml-oxide

safe FFI between OCaml and Rust (experimental)

riscv-coremark

Setup scripts and files needed to compile CoreMark on RISC-V

binaryen.ml

OCaml bindings for Binaryen.

ppx_irmin

OCaml PPX extension for automatically generating Irmin types

get-started-aws-cfn

Get started using MongoDB Atlas with AWS CloudFormation today!

AlgorandQVoteApp

A QVote hack on top of algorand