Giters
Francisco Santos (ProgramingIsTheFuture)

ProgramingIsTheFuture

Geek Repo

62

followers

67

following

211

stars

Company:University of Beira Interior

Location:Portugal

Home Page:https://programingisthefuture.github.io/

Twitter:@FranciscoPrgrmr

Github PK Tool:Github PK Tool

Francisco Santos's starred repositories

nixvim

Configure Neovim with Nix! [maintainer=@GaetanLepage, @traxys, @mattsturgeon]

Language:NixLicense:MITStargazers:1391Issues:0Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:6317Issues:0Issues:0

mlx

OCaml syntax dialect which adds JSX syntax expressions

Language:OCamlLicense:NOASSERTIONStargazers:71Issues:0Issues:0

strange_cipher

An encryption/decryption algorithm based on Lorenz's Strange Attractor

Language:RustLicense:GPL-3.0Stargazers:4Issues:0Issues:0

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Language:CoqLicense:MITStargazers:104Issues:0Issues:0

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:439Issues:0Issues:0

zaml

OCaml inspired language

Language:OCamlLicense:GPL-3.0Stargazers:8Issues:0Issues:0

bedrock2

A work-in-progress language and compiler for verified low-level programming

Language:CoqLicense:MITStargazers:289Issues:0Issues:0

rust-ocaml-derive

Language:RustLicense:MITStargazers:61Issues:0Issues:0

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Language:OCamlLicense:NOASSERTIONStargazers:220Issues:0Issues:0

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Language:AgdaLicense:GPL-3.0Stargazers:220Issues:0Issues:0

ppxlib

Base library and tools for ppx rewriters

Language:OCamlLicense:MITStargazers:243Issues:0Issues:0

melange-opam-template

A simple project template using Melange with opam

Language:ReasonLicense:MITStargazers:45Issues:0Issues:0

awesome-programming-languages

The list of an awesome programming languages that you might be interested in

License:MITStargazers:573Issues:0Issues:0

lispy_lambda

Simply typed lambda calculus, but lispy

Language:OCamlLicense:GPL-3.0Stargazers:1Issues:0Issues:0

styled-ppx

Type-safe styled components for ReScript, Melange and native with type-safe CSS

Language:ReasonLicense:BSD-2-ClauseStargazers:398Issues:0Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Language:ShellStargazers:85200Issues:0Issues:0

mach

zig game engine & graphics toolkit

Language:ZigLicense:NOASSERTIONStargazers:2969Issues:0Issues:0

vellvm

The Vellvm (Verified LLVM) coq development.

Language:LLVMLicense:NOASSERTIONStargazers:383Issues:0Issues:0

coq-of-ocaml

Formal verification for OCaml

Language:OCamlLicense:MITStargazers:246Issues:0Issues:0

ltx

Execute OCaml in your Latex files

Language:OCamlLicense:ISCStargazers:1Issues:0Issues:0

raylib-ocaml

OCaml bindings for raylib and raygui

Language:OCamlLicense:MITStargazers:162Issues:0Issues:0

HoTT-Agda

Development of homotopy type theory in Agda

Language:AgdaLicense:MITStargazers:409Issues:0Issues:0

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1230Issues:0Issues:0

typed-racket

Typed Racket

Language:RacketLicense:NOASSERTIONStargazers:513Issues:0Issues:0

cameleer

A Deductive Verification Tool for OCaml Programs

Language:OCamlLicense:MITStargazers:56Issues:0Issues:0

conjure

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)

Language:FennelLicense:UnlicenseStargazers:1675Issues:0Issues:0

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1874Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2416Issues:0Issues:0

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaLicense:AGPL-3.0Stargazers:316Issues:0Issues:0