Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by lamg

A curated list of projects in awesome lists by lamg .

https://github.com/lamg/structured_programming_in_fsharp

Design principles for structured functional programming

Last synced: 06 Nov 2024

https://github.com/lamg/pmproxy

HTTP proxy with per user download quotas

consumption http-proxy ldap-client proxy quota

Last synced: 06 Nov 2024

https://github.com/lamg/proxy

A Golang HTTP proxy library

golang proxy

Last synced: 06 Nov 2024

https://github.com/lamg/migrate

Declarative migrations for SQLite databases

Last synced: 06 Nov 2024

https://github.com/lamg/exercises

Miscellaneous problems and explorations

Last synced: 06 Nov 2024

https://github.com/lamg/convff

A disposable program for converting videos using ffmpeg

command-line ffmpeg json nix ocaml

Last synced: 06 Nov 2024

https://github.com/lamg/predicate

Parsing, evaluating and textually representing predicates

boolean-expression evaluation parsing predicates

Last synced: 06 Nov 2024

https://github.com/lamg/wybe

Wybe proof checker and language definition

fsharp logic theorem-proving

Last synced: 12 Oct 2024

https://github.com/lamg/blog

Personal blog

Last synced: 06 Nov 2024

https://github.com/lamg/wybe.dev

Last synced: 06 Nov 2024

https://github.com/lamg/fsblocks

Utility functions for interacting with popular blockchains in F#

Last synced: 06 Nov 2024

https://github.com/lamg/miyam

YouTube video downloader

golang youtube youtube-downloader

Last synced: 06 Nov 2024

https://github.com/lamg/oberon

Implementation of Project Oberon

Last synced: 06 Nov 2024

https://github.com/lamg/robotcommand

El proyecto de Patrones de Diseño

Last synced: 06 Nov 2024

https://github.com/lamg/sz

A program for knowing the size of a file in bytes

Last synced: 06 Nov 2024

https://github.com/lamg/academia

Another school project

Last synced: 06 Nov 2024

https://github.com/lamg/lamgenv

Last synced: 06 Nov 2024

https://github.com/lamg/parserdecenaterrestre

A parser for a format some guys use

Last synced: 06 Nov 2024

https://github.com/lamg/tortuga

Some experiments with turtle graphics in Python

Last synced: 06 Nov 2024

https://github.com/lamg/lamg

Last synced: 06 Nov 2024

https://github.com/lamg/wizard

Last synced: 06 Nov 2024

https://github.com/lamg/fib

The derivation of a procedure for calculating Fibonacci numbers

Last synced: 06 Nov 2024

https://github.com/lamg/proxy-go

Versión de PMProxy usada en la Universidad de Pinar del Río

Last synced: 06 Nov 2024

https://github.com/lamg/adsync

Tesis

golang

Last synced: 06 Nov 2024

https://github.com/lamg/twitter_scanner

Stores tweets and user profiles in an Sqlite DB.

ocaml sqlite twitter-api

Last synced: 06 Nov 2024

https://github.com/lamg/regapi

API para la aplicación "Registro"

Last synced: 06 Nov 2024

https://github.com/lamg/migrate.sqlparser

Special purpose SQL parser

Last synced: 06 Nov 2024

https://github.com/lamg/8puzzle

Last synced: 06 Nov 2024

https://github.com/lamg/wsrv

HTTP server for WASM files

Last synced: 06 Nov 2024

https://github.com/lamg/udcap

Last synced: 06 Nov 2024

https://github.com/lamg/throttle

Last synced: 06 Nov 2024

https://github.com/lamg/prexp

an experiment

Last synced: 06 Nov 2024

https://github.com/lamg/sigapi

REST API for a PostgreSQL database

Last synced: 06 Nov 2024

https://github.com/lamg/parsing

Last synced: 06 Nov 2024

https://github.com/lamg/nettest

Last synced: 06 Nov 2024

https://github.com/lamg/mitftp

Helper procedures for serving and downloading using TFTP protocol

Last synced: 06 Nov 2024

https://github.com/lamg/logjoin

Joins portalauth.log and access.log from a Pfsense server into a file with old Squid log format

Last synced: 06 Nov 2024

https://github.com/lamg/learnrust

Learning rust

Last synced: 06 Nov 2024

https://github.com/lamg/navio

xdg-open for https://github.com/davatorium/rofi

Last synced: 06 Nov 2024

https://github.com/lamg/fbinfo

Last synced: 06 Nov 2024

https://github.com/lamg/concurrency

Reading Mastering Concurrency in Go

Last synced: 06 Nov 2024

https://github.com/lamg/learn-agda

Learning Agda

Last synced: 06 Nov 2024

https://github.com/lamg/io_layer

Last synced: 06 Nov 2024

https://github.com/lamg/lamg.github.io

Personal blog

Last synced: 06 Nov 2024

https://github.com/lamg/delnsp

Delete some spaces so https://github.com/iawia002/annie can detect the video is already downloaded and skip it

rename-files

Last synced: 06 Nov 2024

https://github.com/lamg/reg

A simple regular expressions matcher using Go standard library

Last synced: 06 Nov 2024

https://github.com/lamg/csvtocsharpstringmatrix

CSV table (semicolon separated) to C# string matrix converter

Last synced: 06 Nov 2024

https://github.com/lamg/filesystem

File system abstraction to use as mock or OS file system interface

Last synced: 06 Nov 2024

https://github.com/lamg/id3

Last synced: 06 Nov 2024

https://github.com/lamg/indrn

Simple file renamer

golang rename-files simple

Last synced: 06 Nov 2024

https://github.com/lamg/customer

A gRPC example

Last synced: 06 Nov 2024

https://github.com/lamg/tesis-frontend

Last synced: 06 Nov 2024

https://github.com/lamg/next_permutation

Dijkstra's algorithm for getting the next permutation

Last synced: 06 Nov 2024

https://github.com/lamg/ldaputil

LDAP access utils

Last synced: 06 Nov 2024

https://github.com/lamg/simulaci-n

El proyecto de Simulación

Last synced: 06 Nov 2024

https://github.com/lamg/simpleblog

Last synced: 06 Nov 2024

https://github.com/lamg/rtimespan

Repeated time span

Last synced: 06 Nov 2024

https://github.com/lamg/pmng

A simple password manager

Last synced: 06 Nov 2024

https://github.com/lamg/tcp-prolog

Some exercises in Prolog

Last synced: 06 Nov 2024

https://github.com/lamg/numinos.xyz

Last synced: 06 Nov 2024

https://github.com/lamg/auth

Authentication service

Last synced: 06 Nov 2024

https://github.com/lamg/tesis-doc

Last synced: 06 Nov 2024

https://github.com/lamg/kmeans

Last synced: 06 Nov 2024

https://github.com/lamg/iterador

El proyecto de Patrones de Diseño

Last synced: 06 Nov 2024

https://github.com/lamg/keytolower

Loads a JSON object with a map field and filters only those keys with lower case letters to the map in the result JSON object

Last synced: 06 Nov 2024

https://github.com/lamg/hanoi

Hanoi Towers (playing with)

Last synced: 06 Nov 2024

https://github.com/lamg/havanatur

A formatter for a weird type of document the Havanatur guys use.

Last synced: 06 Nov 2024

https://github.com/lamg/tarea_eda1

Last synced: 06 Nov 2024

https://github.com/lamg/blogcli

Last synced: 06 Nov 2024

https://github.com/lamg/renamer

Rename files in determined folder

Last synced: 06 Nov 2024

https://github.com/lamg/lis

Recursive algorithm for finding the length of the Longest Increasing Subsequence

Last synced: 06 Nov 2024

https://github.com/lamg/ioperaciones

Dijkstra's algorithm implementation with simplistic GUI

Last synced: 06 Nov 2024

https://github.com/lamg/essays

Essays

Last synced: 06 Nov 2024

https://github.com/lamg/clock

Interface for abstracting Go's time.Now method

Last synced: 06 Nov 2024

https://github.com/lamg/wfact

A maker of Go io.Writer interfacing files with predictible names

Last synced: 06 Nov 2024

https://github.com/lamg/debindex

Last synced: 06 Nov 2024