fromeroj Goto Github PK

algoritmos

Algoritmos

author_roles

Add Roles to Symphony CMS

badgerhold

BadgerHold is an embeddable NoSQL store for querying Go types built on Badger

badgers

Wrap badger db, serve in a web server.

bitarray

C bit array structs and methods

bumblebee

Pre-trained and transformer Neural Network models in Axon (+ 🤗 Models integration)

ccv

C-based/Cached/Core Computer Vision Library, A Modern Computer Vision Library

combinatorics

comp-dec-pdl

Completeness and Decidability for PDL in Coq

copier

Copier for golang, copy value from struct to struct and more

coqeal

CoqEAL -- The Coq Effective Algebra Library

cs1113f16

Student Files for Kevin Sullivan's UVa CS1113 ("CS1"), Fall 2016

curso-programacion-avanzada

curso-programacion-avanzada

dapper-invoice

A billable-time invoice featuring style over substance

darts

Differentiable architecture search for convolutional and recurrent networks

detecttext

Detect text with stroke width transform.

distributed-data-structures

Distributed Data Structures in Coq

downsampling

downsampling time series data algorithm in Go

dslsofmath

Domain Specific Languages of Mathematics

educationtoulouse

elm-risky

Risk inspired game written in elm

elm-tile-editor

a tilemap editor built with elm

ephemeral2

Ephemeral P2P over websockets, Phoenix/Elixir.

ephemeral_share

A file sharing web app using RTC, React and Phoenix

erl-dns

DNS server, in erlang.

f5-vpn-client

FirePass F5 command line VPN client

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

flutter_datetime_picker

a date time picker in flutter

formalising-mathematics-2022

Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.