Giters
Daniel Hilst (dhilst)

dhilst

Geek Repo

139

followers

148

following

182

stars

Company:@versatushpc

Location:Brazil - Florianópolis

Home Page:dhilst.github.io

Github PK Tool:Github PK Tool

Daniel Hilst's starred repositories

apache_age

apache_age

License:MITStargazers:3Issues:0Issues:0

jupyter-emacskeys

Emacs keybindings for Jupyter notebook

Language:PythonStargazers:88Issues:0Issues:0

GraphJet

GraphJet is a real-time graph processing library.

Language:JavaLicense:Apache-2.0Stargazers:698Issues:0Issues:0

Awesome-Language-Model-on-Graphs

A curated list of papers and resources based on "Large Language Models on Graphs: A Comprehensive Survey".

License:MITStargazers:600Issues:0Issues:0

Learn4Elixir

Aprenda Elixir em 4 Pull Requests!

License:MPL-2.0Stargazers:288Issues:0Issues:0

free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad

Language:HaskellLicense:BSD-3-ClauseStargazers:45Issues:0Issues:0

mindsdb

The platform for building AI from enterprise data

Language:PythonLicense:NOASSERTIONStargazers:22315Issues:0Issues:0

eventos-tech-brasil

Lista de eventos tech que acontecem no Brasil

Stargazers:948Issues:0Issues:0

ll-coq

Some Coq formalizations of Linear Logic

Language:CoqLicense:WTFPLStargazers:7Issues:0Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:4683Issues:0Issues:0

matematica

🧮 Um caminho para a educação autodidata em Matemática!

License:MITStargazers:794Issues:0Issues:0

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Language:CoqLicense:NOASSERTIONStargazers:125Issues:0Issues:0

plzoo

Programming Languages Zoo

Language:OCamlLicense:MITStargazers:1433Issues:0Issues:0

Haskell-Morte-Library

A bare-bones calculus-of-constructions

Language:HaskellLicense:BSD-3-ClauseStargazers:372Issues:0Issues:0

jekyll-theme-chirpy

A minimal, responsive, and feature-rich Jekyll theme for technical writing.

Language:HTMLLicense:MITStargazers:6643Issues:0Issues:0

MelonRuntime

✨ .NET-based JavaScript runtime focused in rapid prototyping of projects, using minimal dependencies and functional programming

Language:C#License:MITStargazers:250Issues:0Issues:0

pyramda

Python package supporting heavy functional programming through currying. Translation of the Ramda library from javascript to python.

Language:PythonLicense:MITStargazers:127Issues:0Issues:0

coq-ll

Formalization of Linear Logic in Coq

Language:CoqLicense:GPL-3.0Stargazers:14Issues:0Issues:0

hmf

implementation of HMF type system, for higher rank types

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellLicense:BSD-3-ClauseStargazers:574Issues:0Issues:0

mlnxofed-patch

Shell script to patch MLNX OFED to add back support for MLX4 and EFA

Language:ShellLicense:Apache-2.0Stargazers:7Issues:0Issues:0

Coqtail

Interactive Coq Proofs in Vim

Language:PythonLicense:MITStargazers:256Issues:0Issues:0

coq-of-ocaml

Formal verification for OCaml

Language:OCamlLicense:MITStargazers:245Issues:0Issues:0

advent-of-coq-2021

Language:CoqStargazers:38Issues:0Issues:0

coq-moment

⌚ Parse, manipulate and pretty-print times and dates in Coq

Language:HTMLLicense:MITStargazers:4Issues:0Issues:0

Moonad

Moonad: a p2p academic journal, or a social network for code?

Language:JavaScriptLicense:MITStargazers:27Issues:0Issues:0

cpdt

Certified Programming with Dependent Types sources, by Adam Chlipala

Language:CoqStargazers:3Issues:0Issues:0

ppx_expect

Cram like framework for OCaml

Language:OCamlLicense:MITStargazers:138Issues:0Issues:0

woff-compress

woff font file (re)compressor

Language:PerlStargazers:21Issues:0Issues:0

spartan-type-theory

Spartan type theory

Language:OCamlLicense:MITStargazers:248Issues:0Issues:0