Giters
Daniel Hilst (dhilst)

dhilst

Geek Repo

138

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

plutus

The Plutus language implementation and tools

Language:HaskellLicense:Apache-2.0Stargazers:1544Issues:0Issues:0

IntegrationTestsParallel

Integration Tests running in parallel with NUnit3

Language:C#Stargazers:1Issues:0Issues:0

dth

Examples of Dependently-typed programs in Haskell

Language:HaskellLicense:MITStargazers:298Issues:0Issues:0

Dieta-2020

Meu diário sobre a dieta que iniciei

Stargazers:1Issues:0Issues:0

agda-vim

Agda interaction in vim

Language:Vim scriptLicense:BSD-2-ClauseStargazers:130Issues:0Issues:0

dotnet-repl

A polyglot REPL built on .NET Interactive

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

milho

The Haskell implementation of the Milho programming language.

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

dotfiles

My personal dotfiles

Language:NixStargazers:5Issues:0Issues:0

fp-course

Functional Programming Course

Language:HaskellStargazers:4095Issues:0Issues:0

wiki

https://brazil-tech-expats.gitbooks.io/wiki/content/

Stargazers:137Issues:0Issues:0

purelisp

Some day, a purely functional Lisp. Right now? Just a silly prototype.

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

ILSpy

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

Language:C#Stargazers:20958Issues:0Issues:0

FSharpLint

Lint tool for F#

Language:F#License:MITStargazers:301Issues:0Issues:0

Fleece

Json mapper for F#

Language:F#License:Apache-2.0Stargazers:197Issues:0Issues:0

FSharpPlus

Extensions for F#

Language:F#License:Apache-2.0Stargazers:836Issues:0Issues:0

asdf-ruby

Ruby plugin for asdf version manager

Language:ShellLicense:MITStargazers:642Issues:0Issues:0

Moq.AutoMocker

An auto-mocking IoC container for Moq

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

yup

Dead simple Object schema validation

Language:TypeScriptLicense:MITStargazers:22592Issues:0Issues:0

ohm

A library and language for building parsers, interpreters, compilers, etc.

Language:JavaScriptLicense:MITStargazers:4939Issues:0Issues:0

folktale

[not actively maintained!] A standard library for functional programming in JavaScript

Language:JavaScriptLicense:MITStargazers:2037Issues:0Issues:0

lingua

A PEG DSL with typed semantics and left recursion

Language:F#Stargazers:7Issues:0Issues:0

lisper

A very simple implementation of Lisp built in Python

Language:PythonLicense:MITStargazers:2Issues:0Issues:0

tweet-deleter

Twitter doesn't have the best experience to show your tweets to be mass deleted. So... I've created my own! Meet Tweet Deleter! 😁

Language:JavaScriptStargazers:16Issues:0Issues:0

crochet

Crochet: A tool for creating and remixing interactive experiences, safely.

Language:TypeScriptLicense:MITStargazers:126Issues:0Issues:0

vim-openalternatefile-phx1.3

Same as vim-openalternatefile-phx1.2 but for phoenix 1.3 structure

Language:Vim scriptLicense:UnlicenseStargazers:1Issues:0Issues:0

SAFE-Dojo

An introductory dojo to learn how to develop full stack web applications in F#

Language:F#Stargazers:378Issues:0Issues:0

pact-net

.NET version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.

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

assert.xunit

xUnit.net assertion library for sub-module purposes (please open issues in https://github.com/xunit/xunit)

Language:C#License:NOASSERTIONStargazers:73Issues:0Issues:0

revery

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

Language:ReasonLicense:MITStargazers:8063Issues:0Issues:0

oni2

Native, lightweight modal code editor

Language:ReasonLicense:MITStargazers:7769Issues:0Issues:0