#

nickel

Here are 17 public repositories matching this topic...

tweag / nickel

Open

Improve type instantiation

8

yannham commented Jun 30, 2021

Is your feature request related to a problem? Please describe.
Currently, polymorphic types are instantiated as in a standard Hindley-Milner system, that is as soon as a variable is used. While this is customary in the Hindley-Milner type system, it's limiting in a type system with full polymorphism (à la System F) like Nickel, as it results in polymorphic types being instantiated without nec

Read more

good first issue type: feature request area: typing

NiLuJe / kfmon

Kute File Monitor, an inotify-based Launcher for Kobo devices

launcher inotify nickel kobo koreader fbink

Updated Dec 13, 2021
C

Yardanico / nickel

Бот для ВКонтакте, написанный на языке программирования @nim-lang

bot nim social-network vk callback-api nickel vkapi vkbot nimlang

Updated May 23, 2020
Nim

Tosha1409 / Codilitychallenges

100% score solutions for Codility challenges.

Updated Mar 16, 2021
Python

ptariche / rust_api_example

Playing with Rust, Nickel, Postgres, and more: Example API

api rust postgres starter nickel diesel

Updated Dec 29, 2016
Rust

flosse / nickel-sqlite

A SQLite middleware for nickel.rs

rust web sqlite nickel unmaintained maintainer-wanted

Updated Oct 8, 2018
Rust

tatsuya6502 / hello-heroku-rust-nickel

This is a temporary project to test Heroku deploy for nickel.rs based web-server written in Rust

heroku rust http-server demo-apps nickel

Updated Jun 3, 2016
HTML

madvid / PhD_influence_HCN_V_defect_solubility_diffusion_O_in_Ni

Part of my work realized during the years as a PhD student. I was in the team MEMO of the CIRIMAT lab in Toulouse. I study via a multi-scale approach the influence influence of H, C, N impurities and point defects on the solubility and diffusion of the oxygen in the nickel (fcc phase). My works was under the supervision of Damien Connétable and Daniel Monceau.

clustering density-functional-theory density-of-states thermodynamics solubility phonon defects nickel interstitials phd-thesis ab-initio diffusion low-thermal-expansion

Updated Dec 30, 2021

duriantang / nickel_cors

CORS Middleware for nickel.rs

rust http cors middleware webserver nickel

Updated May 16, 2019
Rust

marvin-j97 / corinth

📬 Portable message queue written in Rust

queue message ava nickel producer-consumer

Updated Jan 4, 2022
Rust

Harzu / rust-playground

web playground for rust lang

react rust nickel

Updated Jan 6, 2019
JavaScript

marcker / rust-api-hello-world

Hello World with Rust and Nickel.

rust cargo hello-world nickel nickel-framework

Updated May 10, 2018
Rust

TheAdnan / Nickel-test

Open

Create a simple API with CRUD

2

TheAdnan opened Oct 2, 2018

good first issue Hacktoberfest

duriantang / ors_invitation

Origin Sport Invitation Service for User Register

rust nickel ors duriantang

Updated Jun 2, 2019
Rust

autokrator-uog / jackie

Jackie is the reporting service that allows querying of Couchbase to extract information about past events.

rust couchbase nickel

Updated Mar 5, 2018
Rust

kubukoz / vscode-nickel-syntax

vscode-extension nickel

Updated Jun 12, 2021

raissamendonca / thompson

[project] Metal oxides influence Ni bioavailability in surface sediments

nickel invertebrates metals sediment-geochemistry bioavailability

Updated Jun 21, 2018
HTML

Improve this page

Add a description, image, and links to the nickel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nickel topic, visit your repo's landing page and select "manage topics."