Giters
Niels Mündler (nielstron)

nielstron

Geek Repo

76

followers

44

following

138

stars

Company:ETH Zurich

Location:Switzerland

Home Page:http://blog.nielstron.de

Github PK Tool:Github PK Tool

Niels Mündler's repositories

demjson3

Fork of demjson - only supports Python 3. Python module for JSON data encoding, including jsonlint.

Language:PythonLicense:NOASSERTIONStargazers:17Issues:2Issues:0

vimulator

A vim-emulator for jEdit 5

Language:JavaLicense:GPL-2.0Stargazers:15Issues:3Issues:11

pyboinc

A very basic package to connect to a BOINC client based on the BOINC GUI RPC Protocol

Language:PythonLicense:MITStargazers:7Issues:3Issues:1

ha_syncthru

Custom component for Samsung Syncthru printers that unleashes the power of Web-Scraping

Language:PythonLicense:Apache-2.0Stargazers:3Issues:3Issues:6

bplustrees

A Verified Imperative Implementation of B+-Trees in Isabelle

Language:IsabelleLicense:BSD-2-ClauseStargazers:1Issues:4Issues:0

cardano-clusterlib-py

Python wrapper for cardano-cli for working with cardano cluster

Language:PythonStargazers:1Issues:2Issues:0

essential-cardano

Repository for the Essential Cardano list

License:Apache-2.0Stargazers:1Issues:2Issues:0

plutus-pioneer-program

Language:HaskellStargazers:1Issues:2Issues:0

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Language:C++License:UPL-1.0Stargazers:1Issues:2Issues:0

awesome-starter-kits

Community-driven curated list of awesome Starter Kits

License:MITStargazers:0Issues:1Issues:0

betterprompt

Test suite for LLM prompts

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

cardano-documentation

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

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

chatgpt-wrapper

API for interacting with ChatGPT using Python and from Shell.

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

ColossalAI

Making large AI models cheaper, faster and more accessible

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

evaluate

🤗 Evaluate: A library for easily evaluating machine learning models and datasets.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

FastChat

The release repo for "Vicuna: An Open Chatbot Impressing GPT-4"

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

helios

Helios is a DSL for writing Cardano smart contracts. This library lets you compile Helios scripts and build Cardano transactions.

Language:JavaScriptLicense:UnlicenseStargazers:0Issues:1Issues:0

lmql

A query language for programming (large) language models.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

opshin-playground

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

plutus

The Plutus language implementation and tools

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

pony

Pony Object Relational Mapper

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Projects

Stargazers:0Issues:1Issues:0

pycardano

A lightweight Cardano library in Python

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

python_example_mock_server

A simple example for a mock server for travis testing

Language:PythonLicense:MITStargazers:0Issues:3Issues:0

site

Website and Docs for Aiken

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

stdlib

The Aiken Standard Library

Language:GleamLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Terminal_Mini_Games

Games for the terminal

Language:PythonStargazers:0Issues:1Issues:0

text-generation-webui

A gradio web UI for running Large Language Models like LLaMA, llama.cpp, GPT-J, OPT, and GALACTICA.

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

Wikipedia

A Pythonic wrapper for the Wikipedia API

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